blob: 6db8bd4cfd1a123680dca7789ca8e25aa689cf04 [file] [log] [blame]
(: Name: quantExpr-38 :)
(: Description: Simple quantified expression using "every" keyword and usage of avg function expression. :)
every $x in (1, 2) satisfies fn:avg(($x, 1)) = 1