Assertion list
exponential function (subgroup of function ) → ReceivesAction
Results from Ascent++: 2
exponential function → ReceivesAction → shown in figure 0.31
exponential function → ReceivesAction → represented by equation 0.25