Assertion list
colony (aspect of ant ) → HasA
Results from Ascent++: 1
colony → HasA → multiple queens 0.68