Assertion: algebra's v | /r/HasProperty | a ↦ r
Facets:
Source sentences:
text: V → V : a ↦ R a R