Assertion list
harrier (primary) → HasA
Results from Ascent++: 2
harrier → HasA → lever 0.25
harrier → HasA → the largest footprint 0.23