Assertion: octahedron | /r/HasProperty | a birectification of a cube
Facets:
Source sentences:
text: an octahedron is a birectification of a cube: {3,4} = 2r{4,3}.