Assertion list
arm (aspect of starfish ) → ReceivesAction
Results from Ascent++: 1
arm → ReceivesAction → lost 0.59