Incorrect instance about clafer HOT 4 CLOSED

It's not necessarily incorrect. It all depends on the semantics we agree on. For now I'm closing the issue, because the model behaves as expected. I sent an email several days ago about semantics of primitive clafers. Feel free to comment and show this example!

from clafer.

I don't see why the model behaves as expected. The semantics of "or" has long been defined in Clafer as having the same meaning as FODA's or-group cardinality, unless it had changed to something different. As far as I know, an or group defines that at least one subclafer must occur (in the case of ThomasEdison, exactly english and french). I don't see why having 2 instances as result is correct. Could you please clarify on that?

from clafer.

You said that or means at least 1, so 1) only english is correct, 2) both english and other = 2 is correct. The constraint says other = "french", which was translated to universal quantification: all x : other | x.ref = french. Universal quantification doesn't imply that there is an instance of other. Feel free to contribute to https://github.com/gsdlab/clafer/wiki/Experimental:-Attributes

from clafer.

Hmm. Got it :)

from clafer.