Assertion: algebra's v | /r/HasProperty | u ⟩ ¯
Facets:
Source sentences:
text: ⟩ = ⟨ v , u ⟩ ¯ . {