Assertion list
gauss (primary) → ReceivesAction
Results from Ascent++: 2
gauss → ReceivesAction → built 0.34
gauss → ReceivesAction → pleased 0.26