Assertion: regular heptagon | /r/HasProperty | the length of its diagonal
Facets:
Source sentences:
text: The width w is the distance between two opposite vertices of the regular heptagon (the length of its diagonal).