forAll(r1, r2 | r1.target = r2.source and r1.type = r2.type implies r2.target <> r1.source)]]> 0]]>