Assertion list
customer (aspect of bank ) → HasSubevent
Results from Ascent++: 1
customer → HasSubevent → loss 0.29