Original: They have several common names including ginger ants and tropical fire ants .
Simplified: They are also called ginger ants and tropical fire ants .