The above example term happens to be in L(G2), too, as the following derivation shows: BList1 ⇒ cons(false,BList1) ⇒ cons(false,cons(true,BList)) ⇒ cons(false,cons(true,nil)).
ترم مثال بالا نیز در (L(G2 است ، همانطور که اشتقاق زیر نشان می‌دهد : BList1 ⇒ cons(false,BList1) ⇒ cons(false,cons(true,BList)) ⇒ cons(false,cons(true,nil)).