Assertion list
head (aspect of salamander ) → ReceivesAction
Results from Ascent++: 1
head → ReceivesAction → flattened 0.49