Assertion: matrix's column | /r/HasProperty | a basis of kn
Facets:
Source sentences:
text: The columns of A form a basis of Kn.