Assertion list
s parameter (subgroup of parameter ) → ReceivesAction
Results from Ascent++: 2
s parameter → ReceivesAction → measured 0.84
s parameter → ReceivesAction → calibrated 0.25