blob: 9837981fbfd07c250ce0e8b8e07157f7b50668be [file] [log] [blame]
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