<> <> <<>> <> <> <> <> (Repeat iA i1Ai i1Af 1 (Repeat jA i2Ai i2Af 1 (Repeat iB i1Bi i1Bf 1 (Repeat jB i2Bi i2Bf 1 (Joined (Qualify instanceA (Member portA iA jA)) (Qualify instanceB (Member portB iB jB)) ) ))))