一阶逻辑项如何用Lua-LPEG解析?