§4.9.2 Role side inheritance

Any sub-type of R inherits the given callin binding (for overriding of bindings see §4.8.(e)). If the sub-role overrides the role method rm this will be considered for dynamic dispatch when the callin binding is triggered.