Итоги голосования для комментария:
Arris
Но все грозит уткнуться в неформальность языка, всякие склонения и прочее.
На худой конец есть «каноническая форма», лишенная этих недостатков и похожая на язык FORTH.
На выходе — ответ «правильно ли составлено предложение или нет» (согласно правилом канонической формы), то есть является ли заклинание (не суть что оно делает) в принципе валидным?

Это минимум :) Максимум не с нашими знаниями :(
+