Assertion: euclidean space's property | /r/HasProperty | specified by non-euclidean axioms
Facets:
Source sentences:
text: Straight lines would be Euclidean straight, but the properties specified by non-Euclidean axioms would be satisfied.