Assertion list
colony (aspect of ant ) → HasProperty
Results from Ascent++: 1
colony → HasProperty → large 0.53