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