Assertion list
pattern (aspect of giraffe ) → ReceivesAction
Results from Ascent++: 1
pattern → ReceivesAction → written in standard american cr… 0.25