Assertion list for term "coupled to inputs of or gate".

Results from Ascent++: 1
bit ReceivesActioncoupled to inputs of or gate 0.41