This is the last batch of fixes for #2644 and I think it now handles all the cases.
At the top-most level, OrLink and ChoiceLink behave exactly the same way, when the things being search for are objects, (and not truth values). In other words, picking a bunch of things off the menu (ChoiceLink) and making a set union out of them is the same thing as just assuming that OrLink applied to a bunch of stuff means 'set-union'.
(OrLink applied to truth values still means 'logical-or' just as before, while ChoiceLink applied to truth values doesn't make sense/is undefined.)
This is the last batch of fixes for #2644 and I think it now handles all the cases.
At the top-most level,
OrLinkandChoiceLinkbehave exactly the same way, when the things being search for are objects, (and not truth values). In other words, picking a bunch of things off the menu (ChoiceLink) and making a set union out of them is the same thing as just assuming thatOrLinkapplied to a bunch of stuff means 'set-union'.(
OrLinkapplied to truth values still means 'logical-or' just as before, whileChoiceLinkapplied to truth values doesn't make sense/is undefined.)