Assertion: semicircle's diameter | /r/HasProperty | $d$ units
Facets:
Source sentences:
text: Suppose the diameter is $d$ units