INSTANCE for_all#1; extracted_from = {equation#4}; covers = equation#4; bound_variable = ?x; aggregation = ?s; proposition = ?p; END_INSTANCE;
INSTANCE for_all#2; bound_variable = ?variable; aggregation = ?aggregation; proposition = ?proposition; END_INSTANCE;