Assertion list
future incident (subgroup of incident ) → ReceivesAction
Results from Ascent++: 1
future incident → ReceivesAction → prevented 0.68