asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_01.aql

drop dataverse test if exists;
create dataverse test;
use dataverse test;

write output to nc1:"rttest/quantifiers_somesat_01.adm";

for $x in [10, -30, -21, 50]
where some $y in [-20, -40]
      satisfies $y > $x
return $x