Assertion list
pusher (primary) → HasA
Results from Ascent++: 5
pusher → HasA → distal end 0.47
pusher → HasA → proximal end 0.44
pusher → HasA → at least a portion 0.34
pusher → HasA → first state 0.25
pusher → HasA → length 0.25