Assertion: semicircle's diameter | /r/HasProperty | dashed
Facets:
Source sentences:
text: If the unit distance were an irrational number the radius (and diameter) should be dashed because we change the context from unit length to unit distance