Assertion list
payment (primary) → HasA
Results from Ascent++: 1
payment → HasA → the effect 0.53