Assertion: sphere's radius | /r/HasProperty | straight line
Facets:
Source sentences:
text: All curves are circles: the curves that intersect ⟨0,0,0,1⟩ have infinite radius (= straight line).