§1.3.1.(a) Role class acquisition

A team T which extends a super-team S has one role class T.R corresponding to each role S.R of the super-team. The new type T.R overrides R for the context of T and its roles. Acquisition of role classes can either be direct (see (b) below), or it may involve overriding and implicit inheritance ((c) below).

In the above example (Listing 1.3.1-1) the team S operates on types S.R0, S.R1 and S.R2, while T operates on types T.R0, T.R1 and T.R2.
(Type references like "S.R0" are actually illegal in source code (§1.2.3.(b)). Here they are used for explanatory purposes only)