blob: 8966194636aebe635b3c682d50655e7ba422e994 [file] [log] [blame]
(: Name: quantExpr-36 :)
(: Description: Simple quantified expression using "every" keyword and a division expression. :)
every $x in (1, 2) satisfies $x div 2 = 1