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;