INSTANCE there_exists#1; extracted_from = {comparator#5}; covers = comparator#5; bound_variable = ?x; aggregation = ?s; proposition = ?p; END_INSTANCE;
INSTANCE there_exists#2; bound_variable = ?variable; aggregation = ?aggregation; proposition = ?proposition; END_INSTANCE;