§1.3.2.(a) Super-class restrictions

If the super-class of a role is again a role it must be a direct role of an enclosing team This rule is simply enforced by disallowing type anchors in the extends clause (see §1.2.2.(g)). As an effect, the super-class may never be more deeply nested than the sub-class.