Assertion list
bowling ball (primary) → HasA

Results from Ascent++: 1
bowling ballHasA three holes 0.71