Assertion list
body (aspect of cuttlefish ) → ReceivesAction
Results from Ascent++: 1
body → ReceivesAction → flattened 0.68