blob: bf4732093b8e6e762495a3826ca91d9ced46558b [file] [log] [blame]
(: Name: quantExpr-4 :)
(: Description: Simple quantified expression using "some" keyword and a subtraction expression. Returns true :)
some $x in (1, 2) satisfies $x - 2 = 0