Assertion list
pall (primary) → HasA
Results from Ascent++: 1
pall → HasA → the use of the money 0.25