Assertion list
assertion (primary) → HasA
Results from Ascent++: 2
assertion → HasA → boolean expression 0.52
assertion → HasA → conditions element 0.25