Assertion list for term "specified by ctvlanportnum".

Results from Ascent++: 1
port ReceivesActionspecified by ctvlanportnum 0.30