Assertion list
trapper (primary) → HasA
Results from Ascent++: 2
trapper → HasA → body-crushing conibear traps 0.16
trapper → HasA → leghold traps 0.16