Assertion list
blimp (primary) → HasA
Results from Ascent++: 1
blimp → HasA → internal framework 0.31