Assertion list
dead limb (subgroup of limb ) → ReceivesAction
Results from Ascent++: 1
dead limb → ReceivesAction → removed 0.68