Assertion list for term "configured to process error signals".
Results from Ascent++: 1
circuit → ReceivesAction → configured to process error signals 0.26