Assertion list
range (aspect of tiger ) → ReceivesAction
Results from Ascent++: 1
range → ReceivesAction → reduced 0.36