conjunction


INSTANCE conjunction#5;
	corresponds_to = {correspondence#56};
	covered_by = {range#4}; (* set indirectly *)
	tipe = simple_type(logical_type);
	conjuncts = {comparator#8, comparator#9};
END_INSTANCE;

INSTANCE conjunction#6;
	corresponds_to = {correspondence#56};
	covered_by = {range#5}; (* set indirectly *)
	tipe = simple_type(logical_type);
	conjuncts = {comparator#10, comparator#11};
END_INSTANCE;