Assertion list
winged termite (subgroup of termite ) → IsA
Results from Ascent++: 2
winged termite → IsA → queen 0.35
winged termite → IsA → new kings 0.25