Assertion list for term "connected to the output of an or".

Results from Ascent++: 1
input (aspect of gate) ReceivesActionconnected to the output of an or 0.29