Assertion list
range (aspect of rat ) → ReceivesAction
Results from Ascent++: 2
range → ReceivesAction → limited 0.25
range → ReceivesAction → linked to change 0.16