Assertion: octahedron's vertex | /r/HasProperty | combined with the 8 vertices
Facets:
Source sentences:
text: These vertices, combined with the 8 vertices of the 16-cell, represent the 32 root vectors of the B 4 and C 4 simple Lie groups.