Assertion: sphere | /r/HasProperty | point
Facets:
Source sentences:
text: Any cross section through a sphere is a circle (or, in the degenerate case where the slicing plane is tangent to the sphere, a point).
text: are counterexamples); contrary to the third postulate, a sphere does not contain circles of arbitrarily great radius; and contrary to the fifth (parallel) postulate, there is no point through which a line can be drawn that never intersects a given line.