Assertion list
cg lightning (subgroup of lightning ) → HasProperty
Results from Ascent++: 1
cg lightning → HasProperty → the most studied 0.68