Parsing 2

Another Informal Parsing Example: Long-Distance Dependency

1 [PHON ((0 1 him))]

2 [PHON ((1 2 she))]

3 [PHON ((2 3 likes))]

4 [PHON ((3 3 nil))]

Unifying 1 with the lexical entry for him gives

5 [PHON ((0 1 him))
   SYNSEM [LOC [CAT [HEAD [CASE acc]]
                CONTENT [INDEX *1* [PER 3rd NUM sing]]
                CONTEXT [BACKGR {[RELN male ARG *1*]}]]]]

Unifying 2 with the lexical entry for she gives

6 [PHON ((1 2 she))
   SYNSEM [LOC [CAT [HEAD [CASE nom]]
                CONTENT [INDEX *1* [PER 3rd NUM sing]]
                CONTEXT BACKGR {[RELN female ARG *1*]}]]]

Unifying 3 with the lexical entry for likes gives

7 [PHON ((1 2 likes))
   SYNSEM [LOC [HEAD [VFORM fin]
                SUBCAT ([LOC [CAT [HEAD [CASE nom]]
                              CONTENT [INDEX *1* [PER 3rd NUM sing]]]]
                        [LOC [CAT [HEAD [CASE acc]]
                              CONTENT [INDEX *2*]]])
                CONTENT [RELN like LIKER *1* LIKED *2*]]]]

Unifying 4 with the slash insertion rule gives

8 [PHON ((3 3 nil))
   SYNSEM [LOC *1*
           NONLOC [SLASH {*1*}]]]

Unifying 7 with the HEAD-DTR of the "VP -> V NP" rule gives

9 [SYNSEM [LOC [CAT [HEAD [VFORM fin]
                     SUBCAT ([LOC [CAT [HEAD CASE nom]]
                                   CONTENT [INDEX *1*
                                                  [PER 3rd NUM sing]]]
                             [LOC [CAT [HEAD [CASE acc]]
                                   CONTENT [INDEX *2*]]])
                CONTENT [RELN likes LIKER *1* LIKED *2*]]
           NONLOC [SLASH *3*]]
   DTRS [HEAD-DTR [SYNSEM ... 
                   PHON ((2 3 likes))]
         COMP-DTRS {[PHON *4*
                     SYNSEM [LOC [CAT [HEAD [CASE acc]]
                                  CONTENT [INDEX *2*]]
                             NONLOC [SLASH *3*]]]}
   PHON ((2 3 likes) < *4*)]

Unifying 8 with the COMP-DTR of 9 gives

10 [SYNSEM [LOC [CAT [HEAD [VFORM fin]
                      SUBCAT ([LOC [CAT [HEAD [CASE nom]]
                                    CONTENT [INDEX *1*
                                                   [PER 3rd NUM sing]]]]
                              [LOC [CAT [HEAD [CASE acc]]
                                    CONTENT [INDEX *2*]]])
                 CONTENT [RELN likes LIKER *1* LIKED *2*]]
            NONLOC [SLASH {[CAT [HEAD [CASE acc]]
                            CONTENT [INDEX *2*]]}]
    DTRS [HEAD-DTR [SYNSEM ... 
                    PHON ((2 3 likes))]
          COMP-DTRS {[PHON nil
                      SYNSEM ...]}]
    PHON ((2 3 likes) (3 3 nil))]

Unifying 10 with the HEAD-DTR of the "S -> NP VP" rule gives

11 [SYNSEM [LOC [CAT [HEAD [VFORM fin]
                      SUBCAT ()]
                 CONTENT [RELN likes LIKER *1* LIKED *2*]]
            NONLOC [SLASH {[CAT [HEAD [CASE acc]]
                            CONTENT [INDEX *2*]]}]]
    DTRS [HEAD-DTR [SYNSEM ...
                    PHON ((2 3 likes) (3 3 nil))]
          COMP-DTRS ([PHON *3*
                      SYNSEM [LOC [CAT [HEAD [CASE nom]]
                                   CONTENT [INDEX *1* [PER 3rd NUM sing]]]]])]
    PHON (*3* < ((2 3 likes) (3 3 nil)))]

Unifying 6 with the COMP-DTR of 11 gives

12 [SYNSEM [LOC [CAT [HEAD [VFORM fin]
                      SUBCAT ()]
                 CONTENT [RELN likes LIKER *1* LIKED *2*]]
            NONLOC [SLASH {[CAT [HEAD [CASE acc]]
                            CONTENT [INDEX *2*]]}]]
    DTRS [HEAD-DTR [SYNSEM ... 
                    PHON ((2 3 likes) (3 3 nil))]
          COMP-DTRS ([PHON ((1 2 she))
                      SYNSEM ... BACKGR {[RELN female ARG *1*]}])]
    PHON ((1 2 she) (2 3 likes) (3 3 nil))]

Unifying 12 with the HEAD-DTR of the "slash expansion" rule gives

13 [SYNSEM [LOC [CAT [HEAD [VFORM fin]
                      SUBCAT ()]
                 CONTENT [RELN likes LIKER *1* LIKED *2*]
                 CONTEXT [FOCUS *2*]]
            NONLOC [SLASH {}]]
    DTRS [HEAD-DTR [SYNSEM [LOC ...
                            NONLOC [SLASH {*3* [CAT [HEAD [CASE acc]]
                                                CONTENT [INDEX *2*]]}]]
                    PHON ((1 2 she) (2 3 likes) (3 3 nil))]
          FILLER-DTR [SYNSEM [LOC *3*]
                      PHON *4*]]
    PHON (*4* < ((1 2 she) (2 3 likes) (3 3 nil)))]

Unifying 5 with the FILLER-DTR of 13 gives

14 [SYNSEM [LOC [CAT [HEAD [VFORM fin]
                      SUBCAT ()]
                 CONTENT [RELN likes LIKER *1* LIKED *2*]
                 CONTEXT [FOCUS *2*]]
            NONLOC [SLASH {}]]
    DTRS [HEAD-DTR [SYNSEM [LOC ...
                            NONLOC [SLASH {[CAT [HEAD [CASE acc]]
                                            CONTENT [INDEX *2*]]}]]
                    PHON ((1 2 she) (2 3 likes) (3 3 nil))]
          FILLER-DTR [SYNSEM [LOC [CAT [HEAD [CASE acc]]
                                   CONTENT [INDEX *2* [PER 3rd NUM sing]]
                                   CONTEXT [BACKGR {[RELN male ARG *2*]}]]]
                      PHON ((0 1 him))]]
    PHON ((0 1 him) (1 2 she) (2 3 likes) (3 3 nil))]

[L645 Syllabus]