Assertion: construction | /r/HasProperty | the process
Facets:
Source sentences:
text: Construction, then, is best seen as the process of choosing definitions so that previously primitive statements can be derived as theorems.