domain_rule


INSTANCE domain_rule#3;
	corresponds_to = {correspondence#4};
	label = "the_ph_is_between_0_and_14";
	expression = interval#2;
	the_type = defined_type#37; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#4;
	label = "the_plants_can_survive_the_acidity";
	expression = equation#8;
	the_type = entity_type#193; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#5;
	label = "the_phs_must_be_sensible";
	expression = comparator#8;
	the_type = entity_type#192; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#6;
	label = "the_temperatures_must_be_sensible";
	expression = comparator#9;
	the_type = entity_type#190; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#7;
	label = "the_plants_can_survive_the_temperature";
	expression = equation#9;
	the_type = entity_type#189; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#8;
	corresponds_to = {correspondence#70};
	label = "mr_jones_has_one_garden";
	expression = equation#10;
END_INSTANCE;

INSTANCE domain_rule#9;
	corresponds_to = {correspondence#4};
	label = "the_ph_is_between_0_and_14";
	expression = interval#5;
	the_type = defined_type#41; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#10;
	label = "the_values_must_be_sensible";
	expression = comparator#10;
	the_type = entity_type#194; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#11;
	label = "r1";
	expression = equation#11;
	the_type = entity_type#201; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#12;
	label = "r2";
	expression = function_call#8;
	the_type = entity_type#201; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#13;
	label = "r1";
	expression = function_call#9;
	the_type = entity_type#199; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#14;
	label = "r2";
	expression = negation#3;
	the_type = entity_type#199; (* set indirectly *)
END_INSTANCE;

INSTANCE domain_rule#15;
	corresponds_to = {correspondence#70};
	label = "mr_jones_has_one_garden";
	expression = equation#12;
END_INSTANCE;