Assertion: expression's type | /r/HasProperty | cu1
Facets:
Source sentences:
text: and U is a constructed type C<U1...
text: and there is a unique type C<U1...