Assertion: matrix's column | /r/HasProperty | basis
Facets:
value: for the column space
type: PURPOSE
Source sentences:
text: Therefore, the first, second, and fourth columns of the original matrix are a basis for the column space: