Assertion list
customer (aspect of bank ) → IsA

Results from Ascent++: 1
customerIsA consumer 0.42