N sets of states S1 .. SN are linked by the relation EITHER on the selector sel,
S1 EITHERsel ... EITHERsel SN
if there is a sum on sel for them.