Assertion: concept's property | /r/HasProperty | dictated by axiom
Facets:
Source sentences:
text: When the line concept is a primitive, the behaviour and properties of lines are dictated by the axioms which they must satisfy.