[
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.
