Assertion list
air pump (primary) → HasA
Results from Ascent++: 2
air pump → HasA → adjustability 0.34
air pump → HasA → second valve 0.25