---
Γ := rules "sum"
  sum := lexemes "INT"
    INT "1" (1, 1)