Assertion list
lead (aspect of led ) → ReceivesAction

Results from Ascent++: 4
leadReceivesAction soldered 0.44
leadReceivesAction clipped 0.36
leadReceivesAction reversed 0.31
leadReceivesAction connected to common signal grou… 0.25