equation


INSTANCE equation#8;
	description = "QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants";
	corresponds_to = {correspondence#5};
	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#292};
END_INSTANCE;

INSTANCE equation#9;
	description = "QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) = 
holds_plants";
	corresponds_to = {correspondence#27};
	hlcs_extracted = {for_all#5}; (* set indirectly *)
	covered_by = {for_all#5}; (* set indirectly *)
	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_temp <= temp <= p.max_temp}) = holds_plants";
	corresponds_to = {correspondence#5};
	hlcs_extracted = {for_all#4}; (* set indirectly *)
	covered_by = {for_all#4}; (* set indirectly *)
	tipe = simple_type(logical_type);
	equal_expressions = {query_expression#6, explicit_attribute#305};
END_INSTANCE;

INSTANCE equation#11;
	description = "SIZEOF(QUERY(inst <* holds_plants | ((EXISTS(inst) AND NOT (
  entities_in_flattened_up_plant.greenhouse_plant IN 
  entities_in_flattened_up_plant_instance(inst.instance_of, inst.
  combination_sets_for_flattened_up_plant)))))) = 0";
	tipe = simple_type(logical_type);
	equal_expressions = {function_call#14, integer_literal#118};
END_INSTANCE;

INSTANCE equation#12;
	description = "QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) = 
holds_plants";
	corresponds_to = {correspondence#27};
	tipe = simple_type(logical_type);
	equal_expressions = {query_expression#8, explicit_attribute#316};
END_INSTANCE;

INSTANCE equation#13;
	description = "SIZEOF(QUERY(inst <* holds_plants | ((EXISTS(inst) AND NOT (
  entities_in_flattened_up_plant.outdoors_plant IN 
  entities_in_flattened_up_plant_instance(inst.instance_of, inst.
  combination_sets_for_flattened_up_plant)))))) = 0";
	tipe = simple_type(logical_type);
	equal_expressions = {function_call#17, integer_literal#120};
END_INSTANCE;

INSTANCE equation#14;
	extracted_from = {derived_attribute#3};
	description = "null";
	equal_expressions = {derived_attribute#3, jex.AggregateInitializer@5f157b};
END_INSTANCE;