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;