TSPC 162_a_joyce

162_a_joyce_1914
If we could only get one of them new-fangled carriages that makes no noise that Father O'Rourke told him about — them with the rheumatic wheels — for the day cheap — he said, at Johnny Rush's over the way there and drive out the three of us together of a Sunday evening.

( (FRAG (PP-SCON (P-CONN If;{if})
                 (IP-ADV (NP-SBJ;{PRIEST+ELIZA+NANNIE} (PRO we;{we}))
                         (MD;_cat_Vi_ could;{can})
                         (IP-INF-CAT (ILYR (ILYR (ADVP-NIM (ADV only;{only}))
                                                 (VB;_Tn_ get;{get})
                                                 (NP-OB1 (NUM one;{one})
                                                         (PP (P-ROLE of;{of})
                                                             (NP;{CARRIAGES} (D them;{they})
                                                                             (ADJP (ADJ new_<hyphen>_fangled;{new_fangled}))
                                                                             (NS carriages;{carriage})
                                                                             (IP-REL (C that;{that})
                                                                                     (NP-SBJ *T*)
                                                                                     (VBP;_Tn_ makes;{make})
                                                                                     (NP-OB1 (Q no;{no})
                                                                                             (N noise;{noise})))
                                                                             (IP-REL (C that;{that})
                                                                                     (NP-SBJ;{ROURKE} (NPR Father;{Father})
                                                                                                      (NPR O<apos>Rourke;{O<apos>Rourke}))
                                                                                     (VBD;_Tn.pr_ told;{tell[about]})
                                                                                     (NP-OB2;{PRIEST} (PRO him;{he}))
                                                                                     (PP-CLR (P-ROLE about;{about})
                                                                                             (NP *T*)))
                                                                             (PUNC <mdash>)
                                                                             (PRN (NP (NP-GEN;{CARRIAGES} (PRO them;{they}))
                                                                                      (PP (P-ROLE with;{with})
                                                                                          (NP (D the;{the})
                                                                                              (ADJP (ADJ rheumatic;{rheumatic}))
                                                                                              (NS wheels;{wheel})))))
                                                                             (PUNC <mdash>))))
                                                 (PP-NIM (P-ROLE for;{for})
                                                         (NP (D the;{the})
                                                             (N day;{day})))
                                                 (ADJP-PRD (ADJ cheap;{cheap}))
                                                 (PUNC <mdash>)
                                                 (PRN (IP-MAT (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                              (VBD;_Tr_ said;{say})))
                                                 (PUNC ,)
                                                 (PP-NIM (P-ROLE at;{at})
                                                         (NP (NP-GEN (NPR Johnny;{Johnny})
                                                                     (NPR Rush;{Rush})
                                                                     (GENM <apos>s))
                                                             (PP (P-ROLE over;{over})
                                                                 (NP (D the;{the})
                                                                     (N way;{way})
                                                                     (ADVP-NIM (ADV there;{there})))))))
                                           (CONJP (CONJ and;{and})
                                                  (ILYR;{DRIVE} (VB;_Ip_ drive;{drive[out]})
                                                                (RP out;{out})
                                                                (ADVP-NIM (NP (D the;{the})
                                                                              (NUM three;{three})
                                                                              (PP (P-ROLE of;{of})
                                                                                  (NP;{PRIEST+ELIZA+NANNIE} (PRO us;{we}))))
                                                                          (ADV together;{together}))
                                                                (PP-NIM (P-ROLE of;{of})
                                                                        (NP (D a;{a})
                                                                            (NPR Sunday;{Sunday})
                                                                            (N evening;{evening})))))))))
        (PUNC .))
  (ID 162_a_joyce_1914))

arc(r_0162_0001__If,r_0162_0003__could,restriction).
arc(r_0162_0001__If,z_0162_5035,scope).
arc(r_0162_0003__could,r_0162_0044__and,scope).
arc(r_0162_0005__get,r_0162_0002__we,arg0).
arc(r_0162_0005__get,r_0162_0004__only,nim).
arc(r_0162_0005__get,r_0162_0006__one,arg1).
arc(r_0162_0005__get,r_0162_0029__the_r_0162_0030__day,r_0162_0028__for__nim).
arc(r_0162_0005__get,r_0162_0031__cheap,prd).
arc(r_0162_0005__get,r_0162_0034__said,prn).
arc(r_0162_0005__get,z_0162_5020,r_0162_0036__at__nim).
arc(r_0162_0006__one,r_0162_0008__them_r_0162_0010__carriages,r_0162_0007__of).
arc(r_0162_0008__them_r_0162_0010__carriages,r_0162_0009__new__hyphen__fangled,attrib).
arc(r_0162_0012__makes,r_0162_0008__them_r_0162_0010__carriages,arg0).
arc(r_0162_0012__makes,r_0162_0014__noise,arg1).
arc(r_0162_0013__no__quant,r_0162_0012__makes,scope).
arc(r_0162_0013__no__quant,r_0162_0014__noise,restriction).
arc(r_0162_0018__told_r_0162_0020__about,r_0162_0008__them_r_0162_0010__carriages,arg2).
arc(r_0162_0018__told_r_0162_0020__about,r_0162_0016__Father_r_0162_0017__O_apos_Rourke,arg0).
arc(r_0162_0024__the_r_0162_0026__wheels,r_0162_0025__rheumatic,attrib).
arc(r_0162_0034__said,r_0162_0019__him,arg0).
arc(r_0162_0041__the_r_0162_0042__way,r_0162_0043__there,nim).
arc(r_0162_0044__and,r_0162_0005__get,conj1).
arc(r_0162_0044__and,r_0162_0045__drive_r_0162_0046__out,conj2).
arc(r_0162_0045__drive_r_0162_0046__out,r_0162_0002__we,arg0).
arc(r_0162_0045__drive_r_0162_0046__out,r_0162_0051__together,nim).
arc(r_0162_0045__drive_r_0162_0046__out,r_0162_0053__a_r_0162_0054__Sunday_r_0162_0055__evening,r_0162_0052__of__nim).
arc(r_0162_0047__the_r_0162_0048__three,r_0162_0002__we,r_0162_0049__of).
arc(r_0162_0051__together,r_0162_0047__the_r_0162_0048__three,nim).
arc(z_0162_5013,r_0162_0008__them_r_0162_0010__carriages,gen).
arc(z_0162_5013,r_0162_0024__the_r_0162_0026__wheels,r_0162_0023__with).
arc(z_0162_5014,r_0162_0008__them_r_0162_0010__carriages,arg0).
arc(z_0162_5014,z_0162_5013,prd).
arc(z_0162_5020,r_0162_0037__Johnny_r_0162_0038__Rush,gen).
arc(z_0162_5020,r_0162_0041__the_r_0162_0042__way,r_0162_0040__over).

fof(formula,axiom,
    ? [R_0162_0009__NEW__HYPHEN__FANGLED,R_0162_0008__THEM_R_0162_0010__CARRIAGES,R_0162_0016__FATHER_R_0162_0017__O_APOS_ROURKE,R_0162_0018__TOLD_R_0162_0020__ABOUT,R_0162_0025__RHEUMATIC,R_0162_0024__THE_R_0162_0026__WHEELS,Z_0162_5013,Z_0162_5014] :
      ( r_0162_0009__new__hyphen__fangled(R_0162_0009__NEW__HYPHEN__FANGLED)
      & r_0162_0016__Father_r_0162_0017__O_apos_Rourke(R_0162_0016__FATHER_R_0162_0017__O_APOS_ROURKE)
      & r_0162_0025__rheumatic(R_0162_0025__RHEUMATIC)
      & z_0162_5014(Z_0162_5014)
      & has_prd(Z_0162_5014,Z_0162_5013)
      & z_0162_5013(Z_0162_5013)
      & has_r_0162_0023__with(Z_0162_5013,R_0162_0024__THE_R_0162_0026__WHEELS)
      & r_0162_0024__the_r_0162_0026__wheels(R_0162_0024__THE_R_0162_0026__WHEELS)
      & has_attrib(R_0162_0024__THE_R_0162_0026__WHEELS,R_0162_0025__RHEUMATIC)
      & has_gen(Z_0162_5013,R_0162_0008__THEM_R_0162_0010__CARRIAGES)
      & r_0162_0008__them_r_0162_0010__carriages(R_0162_0008__THEM_R_0162_0010__CARRIAGES)
      & has_attrib(R_0162_0008__THEM_R_0162_0010__CARRIAGES,R_0162_0009__NEW__HYPHEN__FANGLED)
      & has_arg0(Z_0162_5014,R_0162_0008__THEM_R_0162_0010__CARRIAGES)
      & r_0162_0018__told_r_0162_0020__about(R_0162_0018__TOLD_R_0162_0020__ABOUT)
      & has_arg0(R_0162_0018__TOLD_R_0162_0020__ABOUT,R_0162_0016__FATHER_R_0162_0017__O_APOS_ROURKE)
      & has_arg2(R_0162_0018__TOLD_R_0162_0020__ABOUT,R_0162_0008__THEM_R_0162_0010__CARRIAGES)
      & ! [R_0162_0014__NOISE] :
          ( r_0162_0014__noise(R_0162_0014__NOISE)
         => ? [R_0162_0012__MAKES] :
              ( r_0162_0012__makes(R_0162_0012__MAKES)
              & has_arg1(R_0162_0012__MAKES,R_0162_0014__NOISE)
              & has_arg0(R_0162_0012__MAKES,R_0162_0008__THEM_R_0162_0010__CARRIAGES) ) )
      & ! [R_0162_0003__COULD,R_0162_0002__WE,R_0162_0004__ONLY,R_0162_0006__ONE,R_0162_0029__THE_R_0162_0030__DAY,R_0162_0031__CHEAP,R_0162_0019__HIM,R_0162_0034__SAID,R_0162_0037__JOHNNY_R_0162_0038__RUSH,R_0162_0043__THERE,R_0162_0041__THE_R_0162_0042__WAY,Z_0162_5020,R_0162_0005__GET,R_0162_0047__THE_R_0162_0048__THREE,R_0162_0051__TOGETHER,R_0162_0053__A_R_0162_0054__SUNDAY_R_0162_0055__EVENING,R_0162_0045__DRIVE_R_0162_0046__OUT,R_0162_0044__AND] :
          ( ( r_0162_0002__we(R_0162_0002__WE)
            & r_0162_0004__only(R_0162_0004__ONLY)
            & r_0162_0019__him(R_0162_0019__HIM)
            & r_0162_0029__the_r_0162_0030__day(R_0162_0029__THE_R_0162_0030__DAY)
            & r_0162_0031__cheap(R_0162_0031__CHEAP)
            & r_0162_0037__Johnny_r_0162_0038__Rush(R_0162_0037__JOHNNY_R_0162_0038__RUSH)
            & r_0162_0043__there(R_0162_0043__THERE)
            & r_0162_0053__a_r_0162_0054__Sunday_r_0162_0055__evening(R_0162_0053__A_R_0162_0054__SUNDAY_R_0162_0055__EVENING)
            & r_0162_0003__could(R_0162_0003__COULD)
            & has_keep_scope(R_0162_0003__COULD,R_0162_0044__AND)
            & r_0162_0044__and(R_0162_0044__AND)
            & has_conj2(R_0162_0044__AND,R_0162_0045__DRIVE_R_0162_0046__OUT)
            & r_0162_0045__drive_r_0162_0046__out(R_0162_0045__DRIVE_R_0162_0046__OUT)
            & has_r_0162_0052__of__nim(R_0162_0045__DRIVE_R_0162_0046__OUT,R_0162_0053__A_R_0162_0054__SUNDAY_R_0162_0055__EVENING)
            & has_nim(R_0162_0045__DRIVE_R_0162_0046__OUT,R_0162_0051__TOGETHER)
            & r_0162_0051__together(R_0162_0051__TOGETHER)
            & has_nim(R_0162_0051__TOGETHER,R_0162_0047__THE_R_0162_0048__THREE)
            & r_0162_0047__the_r_0162_0048__three(R_0162_0047__THE_R_0162_0048__THREE)
            & has_r_0162_0049__of(R_0162_0047__THE_R_0162_0048__THREE,R_0162_0002__WE)
            & has_arg0(R_0162_0045__DRIVE_R_0162_0046__OUT,R_0162_0002__WE)
            & has_conj1(R_0162_0044__AND,R_0162_0005__GET)
            & r_0162_0005__get(R_0162_0005__GET)
            & has_r_0162_0036__at__nim(R_0162_0005__GET,Z_0162_5020)
            & z_0162_5020(Z_0162_5020)
            & has_r_0162_0040__over(Z_0162_5020,R_0162_0041__THE_R_0162_0042__WAY)
            & r_0162_0041__the_r_0162_0042__way(R_0162_0041__THE_R_0162_0042__WAY)
            & has_nim(R_0162_0041__THE_R_0162_0042__WAY,R_0162_0043__THERE)
            & has_gen(Z_0162_5020,R_0162_0037__JOHNNY_R_0162_0038__RUSH)
            & has_prn(R_0162_0005__GET,R_0162_0034__SAID)
            & r_0162_0034__said(R_0162_0034__SAID)
            & has_arg0(R_0162_0034__SAID,R_0162_0019__HIM)
            & has_prd(R_0162_0005__GET,R_0162_0031__CHEAP)
            & has_r_0162_0028__for__nim(R_0162_0005__GET,R_0162_0029__THE_R_0162_0030__DAY)
            & has_arg1(R_0162_0005__GET,R_0162_0006__ONE)
            & r_0162_0006__one(R_0162_0006__ONE)
            & has_r_0162_0007__of(R_0162_0006__ONE,R_0162_0008__THEM_R_0162_0010__CARRIAGES)
            & has_nim(R_0162_0005__GET,R_0162_0004__ONLY)
            & has_arg0(R_0162_0005__GET,R_0162_0002__WE) )
         => ? [Z_0162_5035] : z_0162_5035(Z_0162_5035) ) ) ).