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