Как перевести фразы с естественного языка на язык математической логики?

Если бы такой алгоритм существовал, то уже давно были бы реализованы компьютерные переводчики.. . и искусственный интеллект.
Но в целом - примерно так: выделяешь отдельные утверждения, обозначаешь их буквами, меняешь логические связки между ними на соответствующие операторы и кванторы.