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;