Assertion: interface's type | /r/HasProperty | interfacea
Facets:
Source sentences:
text: class Impl inherits unrelated defaults for defaultMethod() from types InterfaceA and InterfaceB