Assertion list
following command (subgroup of command ) → ReceivesAction
Results from Ascent++: 1
following command → ReceivesAction → evaluated 0.35