noun
or pioneer bore
: a small tunnel parallel to a main tunnel and well in advance of the completed main tunnel so that by crosscuts to the line of the main tunnel several headings can be exposed and work expedited
noun
or pioneer bore
: a small tunnel parallel to a main tunnel and well in advance of the completed main tunnel so that by crosscuts to the line of the main tunnel several headings can be exposed and work expedited
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012