Assertion list
head teller (subgroup of teller ) → ReceivesAction
Results from Ascent++: 1
head teller → ReceivesAction → responsible for the teller line 0.68