Assertion: interface | /r/HasAspect | a most specific override
Facets:
Source sentences:
text: We require that every interface and class have a most specific override for every interface method among the overrides appearing in the type or its direct and indirect interfaces.