Assertion list
stapler (primary) → HasA
Results from Ascent++: 5
stapler → HasA → shape 0.32
stapler → HasA → size 0.32
stapler → HasA → anvil 0.25
stapler → HasA → pick-off mechanism 0.25
stapler → HasA → low profile 0.23