Assertion list
ant colony (subgroup of colony ) → HasA
Results from Ascent++: 1
ant colony → HasA → fertile males 0.84