"Formica exsecta"@cs .