Assertion: semicircle's area | /r/HasProperty | half this quantity
Facets:
Source sentences:
text: The area of a semicircle is thus half this quantity = πr2/2