Assertion list
active fault (subgroup of fault ) → ReceivesAction
Results from Ascent++: 1
active fault → ReceivesAction → identified 0.61