Assertion list
discharge lamp (subgroup of lamp ) → ReceivesAction
Results from Ascent++: 1
discharge lamp → ReceivesAction → connected to transformer 0.25