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