Assertion: dodecahedron's length | /r/CapableOf | equal the edge of a pentagon
Facets:
Source sentences:
text: the length AB equals the edge of a pentagon inscribed in a circle;
text: the length AB equals the edge of a pentagon inscribed in a circle;