Assertion list
pusher (primary) → HasProperty
Results from Ascent++: 7
pusher → HasProperty → advanced 0.67
pusher → HasProperty → movable 0.64
pusher → HasProperty → flexible 0.34
pusher → HasProperty → free 0.25
pusher → HasProperty → shaped 0.25
pusher → HasProperty → small 0.25
pusher → HasProperty → crisp 0.16