Assertion list
high frequency (subgroup of frequency ) → ReceivesAction

Results from Ascent++: 2
high frequencyReceivesAction associated with vsd output 0.31
high frequencyReceivesAction located inside the fractional-n… 0.25