Assertion list
boomerang (primary) → HasA
Results from Ascent++: 1
boomerang → HasA → new interior 0.25