conjunction


INSTANCE conjunction#5;
	tipe = simple_type(logical_type);
	conjuncts = {comparator#11, comparator#12};
END_INSTANCE;

INSTANCE conjunction#6;
	tipe = simple_type(logical_type);
	conjuncts = {function_call#6, function_call#7};
END_INSTANCE;

INSTANCE conjunction#7;
	extracted_from = entity_type#199;
	description = "null";
	conjuncts = {function_call#9, negation#3};
END_INSTANCE;

INSTANCE conjunction#8;
	extracted_from = entity_type#201;
	description = "null";
	conjuncts = {equation#11, function_call#8};
END_INSTANCE;