Assertion: semicircle's diameter | /r/HasProperty | dof the circle
Facets:
Source sentences:
text: If you are given the diameter 'D' of the circle: