Assertion list
remission (primary) → HasA
Results from Ascent++: 1
remission → HasA → same aim 0.31