Assertion: semicircle's radius | /r/HasProperty | the set of all points
Facets:
Source sentences:
text: In an x–y Cartesian coordinate system, the circle with centre coordinates (a, b) and radius r is the set of all points (x, y) such that