Assertion list
fin (aspect of dolphin ) → ReceivesAction
Results from Ascent++: 1
fin → ReceivesAction → removed 0.68