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;