Assertion: column | /r/HasProperty | free
Facets:
Source sentences:
text: Since any column is either basic or free (but not both) obviously the theorem is true.