HW #7 Answers

;;; The S network:

(s (jump s0 t))

(s0 (push np t (to s1)))

(s1 (cat v t (to s2)))

(s2 (pop 'success t)
    (push np t (to s2)))

;;; The NP network:

(np (jump np0 t))

(np0 (cat det t (to np1))
     (cat number t (to np1))
     (cat pro t (to np2)))

(np1 (cat adj t (to np1))
     (cat n t (to np2)))

(np2 (pop nil t))

                                                                     
                                                         ^                ^
                                                      pop|                | pop
                                         push NP         |      push PP   |
                                ---------------------->(S/V/NP)--------->(S/PP)
    push NP         cat V      /                         ^                |   ^  
(S)--------->(S/NP)------->(S/V)          jump           |                |   |
                               \-------------------------|                \---/
                                                                         push PP


                                                 push PP
                                                 -------
                                                 |     |
                          cat N         push PP  |     v   pop
                         ------->(NP/N)--------->(NP/PP)------->
     cat Art            /
   /---------\         / cat Adj
(NP)          ->(NP/Art)--------->(NP/Adj)------->(NP/N2)------>
   \---------/         \           ^       cat N           pop
      jump              \         /
                         \-------/
                           jump



     cat Prep            push NP          pop
(PP)---------->(PP/Prep)--------->(PP/NP)----->