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;