Is there a way to express that all objects of Sig2 are either related by a rel relation to elements of Sig1 or are subsigs? I want something like either_rel_or_subsig but the co
