Assertion list
input (aspect of multiplexer ) → CapableOf
Results from Ascent++: 1
input → CapableOf → receive signal 0.60