Tunnel boring machines; Industrial drilling robots; Trenchless tunnel boring machines; Electric plasma arc cutters; Plasma cutting machines; Tunnel drilling machines; Underground drilling equipment; Underground drilling machines; Tools for underground drilling, namely plasma cutting machines; Drilling machines; Boring machines; Earth boring machines; Industrial boring robots; Rock drilling machines; Large diameter tunneling machines