for_all


INSTANCE for_all#3;
	extracted_from = {equation#8};
	covers = equation#8;
	description = "for all bed.holds_plants p, interval#3";
	bound_variable = query_variable#2;
	aggregation = explicit_attribute#296;
	proposition = interval#3;
END_INSTANCE;

INSTANCE for_all#4;
	extracted_from = {equation#11};
	covers = equation#11;
	description = "for all outdoors_plant.the_beds b, function_call#5";
	bound_variable = query_variable#4;
	aggregation = inverse_attribute#29;
	proposition = function_call#5;
END_INSTANCE;