(<START> ==> (<S>)
  ((X1 = X0)))

(<S> ==> (<NP> <VP>)
  ((X1 == (X0 SUBJ))
   ((X2 PERS) = (X1 PERS))
   ((X2 NUM) = (X1 NUM))
   (X2 = X0)))

(<N> --> (<BREED> D O G)
  (((X0 PRED) = DOG)
   ((X0 NUM) = SG)
   (X1 = (X0 BREED))))

(<BREED> ==> (%)
  ((*CASE* X0
       (PITBULL (((X1 VALUE) <= BIG_)))
       (CHIHUAHUA (((X1 VALUE) <= SMALL_))))))

(<N> --> (%)
  ((X1 == (X0 PRED))
   (X0 = (GET-LEX-FS X1 '((CAT N)) :LEX-ID 'ENG))
   ((X1 VALUE) <= (X0 ROOT))))

(<V> --> (B I T E S)
  (((X0 PRED) = BITE)
   ((X0 TENSE) = PRES)
   ((X0 NUM) = SG)
   ((X0 PERS) = 3)))

(<P> --> (W I T H)
  (((X0 PRED) = WITH)))

(<NP> ==> (<DET> <N>)
  (((X0 FIN) = *DEFINED*)
   ((X1 FIN) == (X0 FIN))
   ((X1 NUM) <= (X0 NUM))
   (X2 = X0)))

(<NP> ==> (<N>)
  (((X0 FIN) = *UNDEFINED*)
   (X1 = X0)))

(<VP> ==> (SUDDENLY <V> <NP>)
  (((X0 INST) = *UNDEFINED*)
   (X3 == (X0 OBJ))
   (X2 = X0)))

(<VP> ==> (WITHOUT_A_BLINK <V> <NP> <PP'>)
  ((X4 == (X0 INST))
   (X3 == (X0 OBJ))
   (X2 = X0)))

(<VP> ==> (% <V> <NP> % <PP>)
  ((X5 == (X0 INST))
   (X3 == (X0 OBJ))
   (X2 = X0)
   ((X1 VALUE) <= ALL_OF_A_SUDDEN)
   (*EOR* (((X1 VALUE) <= *SHOULD_NOT_GENERATE_THIS*)
           ((X3 COAT_COLOR) =t RED)
           ((X4 VALUE) <= IN_RED))
          (((X3 COAT_COLOR) =t WHITE)
           ((X4 VALUE) <= IN_WHITE)))))

(<DET> --> (T H E)
  (((X0 FIN) = +)))

(<DET> --> (A)
  (((X0 FIN) = -)
   ((X0 NUM) = SG)))

(<PP'> ==> (<P'> <NP>)
  (((X1 PRED) <= WITH)
   (X2 = X0)))

(<PP> ==> (<P> <NP>)
  (((X1 PRED) <= WITH)
   (X2 = X0)))

(<P'> --> (B Y)
  (((X0 PRED) = BY)))