Муравьятники. Муравьятники (прозвище работящих жителей села Высокой Горы, Новосильский уезд). См. 071_РУСЬ — РОДИНА Пословицы русского народа. В.И. Даль