F-STRUCTURE: ((CAT V) (ROOT eat) (VALENCY (*OR* TRANS INTRANS))
              (SUBJ ((CAT PRO) (PERSON 3) (NUMBER SG)))
              (PPADJUNCT
                  ((CAT P) (ROOT with)
                   (OBJ ((CAT N) (PERSON 3) (NUMBER SG) (ROOT relish))))))
GenKit> <START> called
GenKit>   <NP> called
GenKit>     Rule 1 for <NP> returns NIL
GenKit>     Rule 2 for <NP> returns NIL
GenKit>     Rule 3 for <NP> returns NIL
GenKit>   <NP> returns NIL
GenKit>   Rule 1 for <START> returns NIL
GenKit>   <S> called
GenKit>     <NP> called
GenKit>       Rule 1 for <NP> returns NIL
GenKit>       Rule 2 for <NP> returns NIL
GenKit>       <PRO> called
GenKit>         Rule 1 for <PRO> returns "s/he"
GenKit>       <PRO> returns "s/he"
GenKit>       Rule 3 for <NP> returns "s/he"
GenKit>     <NP> returns "s/he"
GenKit>     <VP> called
GenKit>       Rule 1 for <VP> returns NIL
GenKit>       Rule 2 for <VP> returns NIL
GenKit>       <VP> called
GenKit>         <V> called
GenKit>           Rule 1 for <V> returns "eats"
GenKit>         <V> returns "eats"
GenKit>         Rule 1 for <VP> returns "eats"
GenKit>       <VP> returns "eats"
GenKit>       <PP> called
GenKit>         <P> called
GenKit>           Rule 1 for <P> returns "with"
GenKit>         <P> returns "with"
GenKit>         <NP> called
GenKit>           Rule 1 for <NP> returns NIL
GenKit>           <N> called
GenKit>             Rule 1 for <N> returns "relish"
GenKit>           <N> returns "relish"
GenKit>           Rule 2 for <NP> returns "relish"
GenKit>         <NP> returns "relish"
GenKit>         Rule 1 for <PP> returns "with relish"
GenKit>       <PP> returns "with relish"
GenKit>       Rule 3 for <VP> returns "eats with relish"
GenKit>     <VP> returns "eats with relish"
GenKit>     Rule 1 for <S> returns "s/he eats with relish"
GenKit>   <S> returns "s/he eats with relish"
GenKit>   Rule 2 for <START> returns "s/he eats with relish"
GenKit> <START> returns "s/he eats with relish"
"s/he eats with relish" 
Test Passed!