graph-rewriting-cl-0.2.2: examples/3.cl

(S B (S B I)) (S B I) (S B I) I I