generators.ET0LTreeGrammar:
  ( { S, A1, A2 },
    { F1:1, F2:1, G:3, G0:3, S:0, A1:0, A2:0 },
    { { S -> F1[A1], A1 -> F1[A1], A2 -> F2[A2] },
      { S -> F2[A2], A1 -> F1[A1], A2 -> F2[A2] },
      { S -> G[S, S, S], A1 -> G0[S, S, S], A2 -> G0[S, S, S] }
    },
    S )