Деревья на участке соседа растут близко к газопроводу, надо ли их пилить?

Добрый день, извините, что так долго отвечали на вопрос, были небольшие технические трудности.

Деревья пилить необходимости нет, если только нет предписания к этому у эксплуатирующей компании. Вопрос только в том, что когда устанавливался газопровод - были ли деревья? так как в соответствии с правилами (Постановление Правительства РФ от 20.11.2000 № 878) "Расстояние от газопроводов до ближайших деревьев должно быть не менее высоты деревьев на весь срок эксплуатации газопровода. поэтому вопрос необходимо уточнять у собственника газопровода."