从逻辑结构和每个终结符开始，先看一下语法规则为名词的终结符号。例如第一个规则A→ Noun(E(A))，它陈述了和名词"A"相关的语法元件是原子E(A)（E(A)的意思是由A代表的对象是一个实体）。在语法分析中，这个规则陈述了终结符A在符号串的出现能被重写为Noun(E(A)) 所有的规则按照自左向右的方式进行书写，因为这些公式将应用到自底向上的分析中（用箭头右边的分析代替终结符）。 这里，执行名词置换，我们可以得到如下已经过分析的句子： Noun(Block(B)) is on Noun(Block(C)) and Noun(Block(B)) is clear |