Assertion: y | /r/HasProperty | elements of a vector space
Facets:
Source sentences:
text: x and y are elements of a vector space, which might be K itself.