1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
$ENTRY Go { term1 term2 = term1; (term1 (term2))= <NotGo term2>; } NotGo { term1 ('ABC':'D') = <Go term1>; } $ENTRY FnGo { t.term1 t.term2 = t.term1; (t.term1((t.term2())())) = <FnNotGo t.term2>; } FnNotGo { t.term1(A(B(CD))) = <FnGo t.term1>; }