Assertion list
atm (primary) → IsA
Results from Ascent++: 1
atm → IsA → bank transfers 0.16