Assertion: octahedron's face | /r/HasProperty | diminishment
Facets:
Source sentences:
text: In geometry, a diminished trapezohedron is a polyhedron in an infinite set of polyhedra, constructed by removing one of the polar vertices of a trapezohedron and replacing it by a new face (diminishment).