Assertion: regular polygon's line | /r/HasProperty | one-dimensional subspace
Facets:
value: with basis
type: OTHER
Source sentences:
text: The normal line is the one-dimensional subspace with basis {n}.