§1.3.2.(d) Adding implemented interfaces

implements declarations are additive, i.e., an implicit sub-role may add more interfaces but has to implement all interfaces of its implicit super-role, too.