[SANDBOX-232] IsElementOf predicate behaves in opposition to semantic implication

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Won't Fix
• Component/s: Functor
• Assignee: Unassigned
• Reporter: Matthew Jason Benson
• Created: 10/Apr/08 17:26
• Updated: 11/Apr/08 20:09
• Resolved: 11/Apr/08 20:09

Description

It is my opinion that semantically, "IsElementOf(foo, bar)" translates into English as "bar is an element of foo"; however this BinaryPredicate is actually coded such that the translation is "foo is an element of bar". This comes down to an opinion question, so I'd like for interested parties to weigh in on this one before I make the requested change.