Assertion: parameter's type | /r/HasProperty | listed in the bound
Facets:
Source sentences:
text: A type variable with multiple bounds is a subtype of all the types listed in the bound.