Assertion: regular octagon | /r/HasProperty | constructed
Facets:
Source sentences:
text: A regular octagon at a given circumcircle may be constructed as follows: