Assertion list
arrest (aspect of gray ) → ReceivesAction
Results from Ascent++: 1
arrest → ReceivesAction → made 0.35