Assertion: expression's type | /r/CapableOf | declare in a base type of s
Facets:
Source sentences:
text: If M is a type declaration, then all non-types declared in a base type of S are removed from the set, and all type declarations with the same number of type parameters as M declared in a base type of S are removed from the set.