Assertion list
neck (aspect of condor ) → ReceivesAction
Results from Ascent++: 1
neck → ReceivesAction → kept clean 0.43