Assertion: petersen graph | /r/HasProperty | embedded as the hemi-dodecahedron
Facets:
Source sentences:
text: For instance, K 6 can be embedded in the projective plane with ten triangular faces as the hemi-icosahedron, whose dual is the Petersen graph embedded as the hemi-dodecahedron.