for_all


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

INSTANCE for_all#4;
	extracted_from = {equation#10};
	covers = equation#10;
	description = "for all greenhouse.holds_plants p, interval#6";
	corresponds_to = {correspondence#15};
	bound_variable = query_variable#4;
	aggregation = explicit_attribute#305;
	proposition = interval#6;
END_INSTANCE;

INSTANCE for_all#5;
	extracted_from = {equation#9};
	covers = equation#9;
	description = "for all bed.holds_plants p, interval#4";
	bound_variable = query_variable#3;
	aggregation = explicit_attribute#302;
	proposition = interval#4;
END_INSTANCE;