Assertion: semicircle | /r/HasProperty | equivalent
Facets:
Source sentences:
text: The Pythagorean definition of Pi makes it easy to see that Pi and the semicircle are equivalent because the semicircular distance is Pi.