Assertion: expression's type | /r/HasProperty | si
Facets:
Source sentences:
text: During the process of inference each type parameter Xi is either fixed to a particular type Si or unfixed with an associated set of bounds.