blob: c6edd5b3292a600673a5eb93fe9124484a72df7c [file] [log] [blame]
(: Name: quantExpr-35 :)
(: Description: Simple quantified expression using "every" keyword and a multiplication expression. :)
every $x in (1, 2) satisfies $x * 2 = 4