Assertion list
mode (aspect of flashlight ) → ReceivesAction
Results from Ascent++: 1
mode → ReceivesAction → selected 0.38