Assertion list
carpenter ant (subgroup of ant ) → CapableOf
Results from Ascent++: 1
carpenter ant → CapableOf → enter building 0.73