tests/org.w3c.xqts.testsuite/Queries/XQuery/UseCase/UseCaseSTRONG/strong-queries-results-q2.xq

module namespace z="http://www.example.com/xq/zips";
import schema namespace ipo = "http://www.example.com/IPO";
import schema namespace zips = "http://www.example.com/zips";

(: insert-start :)
declare variable $input-context external;
(: insert-end :)

declare function z:zip-ok($a as element(*, ipo:USAddress))
  as xs:boolean
{ 
  some $i in $input-context/zips:zips/element(zips:row)
  satisfies $i/zips:city = $a/city
        and $i/zips:state = $a/state
        and $i/zips:zip = $a/zip
};