Assertion list
leg (aspect of condor ) → ReceivesAction
Results from Ascent++: 1
leg → ReceivesAction → streaked with white buildup of … 0.62