Assertion list for term "produced by the encoder".

Results from Ascent++: 1
pulse ReceivesActionproduced by the encoder 0.28