Assertion list
falcon (primary) → HasA
Results from Ascent++: 2
falcon → HasA → enough material 0.16
falcon → HasA → the capability 0.16