Assertion list
veto (primary) → HasA

Results from Ascent++: 1
vetoHasA explanation 0.57