Assertion: line | /r/HasProperty | l
Facets:
Source sentences:
text: If the vector space is orthonormal and if the line (l ) goes through point A and has a direction vector u →