for_all



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;