Assertion: semicircle's diameter | /r/HasProperty | a line segment
Facets:
Source sentences:
text: Diameter: a line segment whose endpoints lie on the circle and that passes through the centre; or the length of such a line segment.