Assertion list for term "receive bpdu".
Results from Ascent++: 1
port → CapableOf → receive bpdu 0.45