Assertion list
insurance binder (subgroup of binder ) → ReceivesAction
Results from Ascent++: 1
insurance binder → ReceivesAction → issued 0.68