Assertion: circle's circumference | /r/HasProperty | divided by the diameter
Facets:
Source sentences:
text: In other words, pi equals the circumference divided by the diameter (π = c/d).