blob: 167035f016371b529a4c309a1c759ccb5cb5c75d [file] [log] [blame]
(: Name: quantExpr-46 :)
(: Description: Simple quantified expression using "every" keyword and use of lofical expression (and). :)
every $x in (1, 2) satisfies $x = 1 and ($x +1) = 2