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;