Assertion: function's element | /r/HasProperty | x
Facets:
Source sentences:
text: Now consider a model of the formal language, with the types T and U modelled by sets [T] and [U] and each symbol X of type T modelled by an element [X] in