conjunction


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