Assertion list
transformation (primary) → HasA
Results from Ascent++: 3
transformation → HasA → multiple inputs 0.32
transformation → HasA → significant impact 0.30
transformation → HasA → special meaning 0.25