Assertion: expression's type | /r/HasProperty | removed for lower bound u of xi
Facets:
value: from the candidate set
type: OTHER
Source sentences:
text: For each lower bound U of Xi all types Uj to which there is not an implicit conversion from U are removed from the candidate set.