shd/logic2011 — Issue #2: Грамматика исчисления предикатов
Author: karlicoss
Created: 2012-01-14 10:27:22+00:00
State: open

Нигде не упомянуто отрицание, видимо, надо добавить к правилу, задающему терм.