Assertion: real number's root | /r/HasProperty | constructed with straightedge
Facets:
Source sentences:
text: A square root can be constructed with a compass and straightedge.