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;