Assertion list
ball lightning (subgroup of lightning ) → CapableOf
Results from Ascent++: 1
ball lightning → CapableOf → collide with richmann's head 0.16