Assertion list for term "be a control signal".

Results from Ascent++: 1
envelope CapableOfbe a control signal 0.25