Assertion list
sheet lightning (subgroup of lightning ) → IsA
Results from Ascent++: 1
sheet lightning → IsA → lightning 0.68