Assertion list
section heading (subgroup of heading ) → ReceivesAction
Results from Ascent++: 2
section heading → ReceivesAction → provided for consistency 0.43
section heading → ReceivesAction → contained in the code 0.16