Assertion list
engine (aspect of tank ) → HasA
Results from Ascent++: 1
engine → HasA → enough power 0.16