(
Myrmicinae
:
Myrmecininae
)
Pristomyrmex wilsoni
