Assertion list
local extinction (subgroup of extinction ) → ReceivesAction
Results from Ascent++: 1
local extinction → ReceivesAction → followed by a replacement of th… 0.68