§1.3.1.(g) Implicitly inheriting super-types

If a role class has an explicit super class (using extends) this relation is inherited along implicit inheritance.

In Listing 1.3.1-1 the role R1 in T has T.R0 as its implicitly inherited super class, because the corresponding role in the super-team extends R0 (line 3).

Overriding an implicitly inherited super class is governed by §1.3.2.(b), below.
The list of implemented interfaces is merged along implicit inheritance.