Assertion list
airline passenger (subgroup of passenger ) → ReceivesAction
Results from Ascent++: 2
airline passenger → ReceivesAction → separated 0.43
airline passenger → ReceivesAction → killed 0.00