Assertion list
cg lightning (subgroup of lightning ) → ReceivesAction
Results from Ascent++: 1
cg lightning → ReceivesAction → understood of the three types 0.68