Assertion list
checking account (primary) → IsA

Results from Ascent++: 3
checking accountIsA a bank account 0.49
checking accountIsA a deposit account 0.39
checking accountIsA specific bank account 0.25