Assertion list for term "x-monotone drawing".
Results from Ascent++: 1
graph → HasA → x-monotone drawing 0.25