下面是对终结符and和or写的规则:
And → Conj(∧)
Or → Conj(∨)
应用and规则生成:
Noun(Block(B)) is on Noun(Block(C)) Conj(∧) Noun(Block(B)) is clear