Assertion: circle | /r/HasProperty | divided by pi times
Facets:
Source sentences:
text: The equation using the circumference is the circumference of the circle divided by pi times two.