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