Assertion: euclidean space's property | /r/HasProperty | playfair's axiom
Facets:
value: in the case
type: TEMPORAL
Source sentences:
text: In the case where S is a line (subspace of dimension one), this property is Playfair's axiom.