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;