Assertion: building | /r/HasProperty | simplicial complex x
Facets:
Source sentences:
text: Each building is a simplicial complex X which has to satisfy the following axioms: