Assertion: semicircle's area | /r/HasProperty | maximum
Facets:
Source sentences:
text: Also how do I show that area obtained is a maximum, because the double derivative test here is long and tedious.