Assertion: pseudoline arrangement | /r/HasProperty | stretchable
Facets:
Source sentences:
text: A pseudoline arrangement is said to be stretchable if it is combinatorially equivalent to a line arrangement; it is complete for the existential theory of the reals to distinguish stretchable arrangements from non-stretchable ones.