#axiom F #rules L->lR R->Lr l->L r->R #end rules