Без заголовка

Хорошо бы еще сделать программу, которая бы распознавала подмножество английского и транслировала его в FOL/HOL/DL :). Тут даже два варианта возможны: - controlled English - т.е. формальный язык но близкий к натуральному с широкими синтаксическими вариациями, но строго транслируемый - распознавание фрагментов обычного языка Для целей создания спецификаций это было бы весьма полезно. Впрочем генерилка английского из ФОЛ тоже весьма полезна.