#### §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.