Assertion list
catapult (primary) → HasA
Results from Ascent++: 1
catapult → HasA → wheel 0.38