Assertion: polyhedron's vertex | /r/CapableOf | truncate facet
Facets:
Source sentences:
text: a = ambo - rectification - Create vertices on mid-edges, rectify facets, new facets at old vertices t = truncate - create pairs of new vertices on edges, truncate facets, new facets at old vertices.