Assertion list for term "drive led".

Results from Ascent++: 2
output CapableOfdrive led 0.33
logic CapableOfdrive led 0.28