Assertion list
autopsy (primary) → HasA
Results from Ascent++: 1
autopsy → HasA → final say 0.25