Assertion list
hollow (primary) → HasA
Results from Ascent++: 1
hollow → HasA → two open ends 0.25