Assertion: polyhedron's edge | /r/CapableOf | connect new vertices
Facets:
value: to new vertices
type: TRANSITIVE-OBJECT
value: at the edge midpoints
type: LOCATION
value: at the face centers
type: LOCATION
Source sentences:
text: m is like k and o combined; new edges connect new vertices at the face centers to the old vertices and new vertices at the edge midpoints.