Assertion list
tender (primary) → HasA
Results from Ascent++: 1
tender → HasA → error 0.25