Assertion: new circle | /r/CapableOf | satisfy the formula
Facets:
value: no longer
type: TEMPORAL
Source sentences:
text: This definition of π implicitly makes use of flat (Euclidean) geometry; although the notion of a circle can be extended to any curved (non-Euclidean) geometry, these new circles will no longer satisfy the formula π = C/d.