Assertion list for term "at least one outer edge".
Results from Ascent++: 1
base → HasA → at least one outer edge 0.25