Assertion: circle's diameter | /r/HasProperty | given
Facets:
Source sentences:
text: If the diameter of the circle is given, then the formula for circumference is πd, where d is the diameter.
text: The diameter is given.