Assertion list for term "represented by single bit".
Results from Ascent++: 2
port → ReceivesAction → represented by single bit 0.46
interface → ReceivesAction → represented by single bit 0.27