Assertion list
boxing (primary) → HasA
Results from Ascent++: 3
boxing → HasA → history 0.28
boxing → HasA → rule 0.25
boxing → HasA → an additional benefit thanks 0.16