§1.3.2.(b) Inheriting and overriding the extends clause

If a role overrides another role by implicit inheritance, it may change the inherited extends clause (see §1.3.1.(g) above) only if the new super-class is a sub-class of the class in the overridden extends clause. I.e., an implicit sub-role may specialize the extends clause of its implicit super-role.