[jira] Commented: (SANDBOX-232) IsElementOf predicate behaves in opposition to semantic implication

["Joerg Schaible (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/SANDBOX-232?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12587859#action_12587859 ] 

Joerg Schaible commented on SANDBOX-232:
----------------------------------------

Well, normally you provide the arguments in the sequence they are occurring in the expression of the relation:

 x is element of y

Therefore the signature

 IsElementOf(x, y)

I bet, if you switch the arguments here, you will create more confusion :)
Logic wins here over language dependent semantics and I bet also that most non-native English speakers are not even aware of it.

> IsElementOf predicate behaves in opposition to semantic implication
> -------------------------------------------------------------------
>
>                 Key: SANDBOX-232
>                 URL: https://issues.apache.org/jira/browse/SANDBOX-232
>             Project: Commons Sandbox
>          Issue Type: Improvement
>          Components: Functor
>            Reporter: Matt Benson
>
> 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.

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.