Assertion list
main track (subgroup of track ) → ReceivesAction
Results from Ascent++: 1
main track → ReceivesAction → closed 0.68