Assertion list
root (aspect of dance ) → ReceivesAction
Results from Ascent++: 1
root → ReceivesAction → traced 0.68