balena-io-modules / sbvr-parser

4 stars 0 forks source link

Surprising/incorrect behavior for `X is not equal to Y or Z` #28

Open Page- opened 4 years ago

Page- commented 4 years ago

X is not equal to Y or Z is parsed as X is not equal to Y or X is not equal to Z which doesn't make sense as it'd always be true and thefore unnecessary and would violate the maxim of quantity. It would instead make sense to be interpreted as X is not (equal to Y or equal to Z)