Assertion list
following symptom (subgroup of symptom ) → ReceivesAction

Results from Ascent++: 1
following symptomReceivesAction reported 0.59