Assertion list
paw (aspect of lynx ) → ReceivesAction
Results from Ascent++: 1
paw → ReceivesAction → padded 0.25