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