there_exists



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;