Assertion list
carrier frequency (subgroup of frequency ) → ReceivesAction
Results from Ascent++: 2
carrier frequency → ReceivesAction → transmitted 0.33
carrier frequency → ReceivesAction → divided by 4n+2m+k+1 0.25