Assertion list for term "returned with correct return labels".
Results from Ascent++: 1
tender → ReceivesAction → returned with correct return labels 0.16