下面所列出的语法规则都符合上下文相关语法，其中→表示逻辑蕴涵。 　　例： 　　一个扩充的短语结构语法如下所示： 　　A→ Noun(E(A)) 　　B→ Noun(E(B)) 　　C→ Noun(E(C)) 　　Block A →Noun(Block(A)) 　　Block B →Noun(Block(B)) 　　Block C →Noun(Block(C)) 　　Floor → Noun(Floor(Fl)) 　　And → Conj(∧) 　　Or → Conj(∨) 　　Clear → Adj(λx Clear(x)) 　　Empty →Adj(λx Clear(x)) 　　Occupied → Adj(λx ～Clear(x))・ 　　On → Prep(λxy On(x, y)) 　　Above → Prep(λxy On(x, y)) 　　Below → Prep(λxy On(y, x)) 　　Is Adj(λx φ(x)) → VP(λx φ(x)) 　　Is PP(λx ψ(x ,σ)) → VP(x ψ(x,σ)) 　　Prep(λxy ψ(x,y))NP(φ(σ)) → PP(λx ψ(x ,σ)∧φ(σ)) 　　Noun(φ(σ)) → NP(φ(σ)) 　　Adj(λx φ(x))NP(ψ(σ)) → NP(φ(σ)∧ψ(σ)) 　　NP(φ(σ))VP(λxψ(x)) → S(ψ(σ)∧φ(σ)) 　　S(γ1)Conj(∧) S(γ2) → S(γ1 ∧γ2)