Assertion list for term "coupled to inverting input of priority".
Results from Ascent++: 1
logic → ReceivesAction → coupled to inverting input of priority 0.25