Assertion: line | /r/HasProperty | normal
Facets:
value: to n
type: OTHER
Source sentences:
text: To see why the line is normal to n, take two distinct but otherwise arbitrary points