Assertion list
recognition (primary) → HasA
Results from Ascent++: 1
recognition → HasA → significant impact 0.37