generators.ET0LTreeGrammar("nonflipping grammar"):
( { S, T, Ti },
  { F:4, c1:1, c2:1, c3:1, c4:1, c1i:1, c2i:1, c3i:1, c4i:1, S:0, T:0, Ti:0, -:0 },
  { 
    { S -> F[c1[S],c2[S],c3[S],-],
      S -> F[c1[T],c2[T],c3[T],c4[Ti]],
      T -> F[c1[T],c2[T],c3[T],c4[Ti]],
      Ti -> F[c1i[Ti],c2i[Ti],c3i[Ti],c4i[T]] }
  },
  S )
