equation
INSTANCE equation#8;
description = "QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants";
corresponds_to = {correspondence#19};
tipe = simple_type(logical_type);
equal_expressions = {query_expression#4, explicit_attribute#292};
END_INSTANCE;
INSTANCE equation#9;
description = "QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) =
holds_plants";
corresponds_to = {correspondence#30};
tipe = simple_type(logical_type);
equal_expressions = {query_expression#5, explicit_attribute#302};
END_INSTANCE;
INSTANCE equation#10;
description = "QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) =
holds_plants";
corresponds_to = {correspondence#30};
tipe = simple_type(logical_type);
equal_expressions = {query_expression#6, explicit_attribute#309};
END_INSTANCE;
INSTANCE equation#11;
description = "QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants";
corresponds_to = {correspondence#19};
tipe = simple_type(logical_type);
equal_expressions = {query_expression#7, explicit_attribute#305};
END_INSTANCE;
INSTANCE equation#12;
description = "SIZEOF(garden) = 1";
tipe = simple_type(logical_type);
equal_expressions = {function_call#4, integer_literal#115};
END_INSTANCE;