equation
INSTANCE equation#8;
description = "QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) =
holds_plants";
hlcs_extracted = {for_all#3}; (* set indirectly *)
covered_by = {for_all#3}; (* set indirectly *)
tipe = simple_type(logical_type);
equal_expressions = {query_expression#4, explicit_attribute#296};
END_INSTANCE;
INSTANCE equation#9;
description = "QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants";
tipe = simple_type(logical_type);
equal_expressions = {query_expression#5, explicit_attribute#292};
END_INSTANCE;
INSTANCE equation#10;
description = "SIZEOF(garden) = 1";
corresponds_to = {correspondence#71};
tipe = simple_type(logical_type);
equal_expressions = {function_call#4, integer_literal#108};
END_INSTANCE;
INSTANCE equation#11;
description = "
(* The ph range of the outdoors plant must include the ph value of the
bed *)
QUERY(b <* the_beds | value_is_within_range(b.acidity, survival_ph_range)) =
the_beds";
hlcs_extracted = {for_all#4}; (* set indirectly *)
covered_by = {for_all#4}; (* set indirectly *)
tipe = simple_type(logical_type);
equal_expressions = {query_expression#6, inverse_attribute#29};
END_INSTANCE;
INSTANCE equation#12;
description = "SIZEOF(garden) = 1";
corresponds_to = {correspondence#71};
tipe = simple_type(logical_type);
equal_expressions = {function_call#11, integer_literal#118};
END_INSTANCE;