Assertion list for term "designed to control led".

Results from Ascent++: 1
circuit ReceivesActiondesigned to control led 0.28