Assertion: semicircle's area | /r/HasProperty | pir^2#
Facets:
Source sentences:
text: The area of a circle is #pir^2# , so in our case it's #4pi# .