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

Можно кстати оба варианта и совместить: т.е. программа может подсвечивать те фразы, которые она распознала, ну а другим цветом - то, что не распознала. А юзер соответственно редактирует, до тех пор пока программа не поймет. Т.е. некий микс UIMA с распознаванием естественного языка и трансляцией в логики.