pcalex написало
9 июля 2013 года, 11:58

Автоматическая формализация поставленной задачи невозможна из-за изначальной нелинейности заданного пространства имён.