Assertion: square | /r/HasProperty | proven
Facets:
Source sentences:
text: It has been proven that both the square and the hexagon, followed by a "logical cube", belong to a regular series of n-dimensional objects called "logical bi-simplexes of