Assertion list for term "new interior".
Results from Ascent++: 1
boomerang → HasA → new interior 0.25