Assertion list
logarithm (primary) → ReceivesAction
Results from Ascent++: 2
logarithm → ReceivesAction → calculated 0.49
logarithm → ReceivesAction → calculated for two positive rea… 0.16