Assertion: heptagon's side | /r/HasProperty | 1 unit
Facets:
Source sentences:
text: If the side of the regular decagon is 1 unit, then the radius of the circumscribing circle is ϕ.