Assertion list
audit (primary) → HasA
Results from Ascent++: 2
audit → HasA → significant impact 0.29
audit → HasA → significant weaknesses 0.25