As for the name > ImplicationScopeLink
at first I thought I would prefer ScopingImplicationLink but now I'm not sure ;p Anyway, ugly as it is, I think it may be better to use two different link types for the different variants, under the general principle we've been leaning towards lately, that more explicit articulation of logical structures in Atomspace reduces confusion, and is thus worthwhile even when it makes things a bit less elegant... -- Ben Goertzel, PhD http://goertzel.org Super-benevolent super-intelligence is the thought the Global Brain is currently struggling to form... -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBe9JN9zB47m3CXvZvU-1U54unrUz0_-wcPVTHfgUhRSqQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
