Assertion list
output (aspect of lamp ) → ReceivesAction

Results from Ascent++: 1
outputReceivesAction connected through inverter 0.36