TSPC 74_a_joyce

74_a_joyce_1914
Perhaps my aunt would have given me a packet of High Toast for him and this present would have roused him from his stupefied doze.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Perhaps;{perhaps}))
                      (NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
                                     (N aunt;{aunt}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (VVN;_Dn.n_ given;{give})
                                              (NP-OB2 (PRO me;{I}))
                                              (NP-OB1 (D a;{a})
                                                      (N packet;{packet})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (NPR High;{High})
                                                              (NPR Toast;{Toast}))))
                                              (PP-NIM (P-ROLE for;{for})
                                                      (NP;{PRIEST} (PRO him;{he}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D this;{this})
                                     (N present;{present}))
                             (MD;_cat_Vi_ would;{will})
                             (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                         (IP-PPL-CAT (VVN;_Tn.pr_ roused;{rouse[from]})
                                                     (NP-OB1;{PRIEST} (PRO him;{he}))
                                                     (PP-CLR (P-ROLE from;{from})
                                                             (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                 (ADJP (ADJ stupefied;{stupefied}))
                                                                 (N doze;{doze}))))))))
          (PUNC .))
  (ID 74_a_joyce_1914))

arc(r_0074_0003__aunt,r_0074_0002__my,gen).
arc(r_0074_0004__would,r_0074_0001__Perhaps,nim).
arc(r_0074_0004__would,r_0074_0005__have,scope).
arc(r_0074_0005__have,r_0074_0006__given,scope).
arc(r_0074_0006__given,r_0074_0002__my,arg2).
arc(r_0074_0006__given,r_0074_0003__aunt,arg0).
arc(r_0074_0006__given,r_0074_0008__a_r_0074_0009__packet,arg1).
arc(r_0074_0006__given,r_0074_0014__him,r_0074_0013__for__nim).
arc(r_0074_0008__a_r_0074_0009__packet,r_0074_0011__High_r_0074_0012__Toast,r_0074_0010__of).
arc(r_0074_0015__and,r_0074_0004__would,conj1).
arc(r_0074_0015__and,r_0074_0018__would,conj2).
arc(r_0074_0018__would,r_0074_0019__have,scope).
arc(r_0074_0019__have,r_0074_0020__roused_r_0074_0022__from,scope).
arc(r_0074_0020__roused_r_0074_0022__from,r_0074_0014__him,arg1).
arc(r_0074_0020__roused_r_0074_0022__from,r_0074_0016__this_r_0074_0017__present,arg0).
arc(r_0074_0020__roused_r_0074_0022__from,r_0074_0025__doze,arg2).
arc(r_0074_0025__doze,r_0074_0014__him,gen).
arc(r_0074_0025__doze,r_0074_0024__stupefied,attrib).

fof(formula,axiom,
    ? [R_0074_0001__PERHAPS,R_0074_0002__MY,R_0074_0003__AUNT,R_0074_0011__HIGH_R_0074_0012__TOAST,R_0074_0008__A_R_0074_0009__PACKET,R_0074_0014__HIM,R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN,R_0074_0016__THIS_R_0074_0017__PRESENT,R_0074_0024__STUPEFIED,R_0074_0025__DOZE,R_0074_0018__WOULD_R_0074_0019__HAVE_R_0074_0020__ROUSED_R_0074_0022__FROM,R_0074_0015__AND] :
      ( r_0074_0001__Perhaps(R_0074_0001__PERHAPS)
      & r_0074_0002__my(R_0074_0002__MY)
      & r_0074_0011__High_r_0074_0012__Toast(R_0074_0011__HIGH_R_0074_0012__TOAST)
      & r_0074_0014__him(R_0074_0014__HIM)
      & r_0074_0016__this_r_0074_0017__present(R_0074_0016__THIS_R_0074_0017__PRESENT)
      & r_0074_0024__stupefied(R_0074_0024__STUPEFIED)
      & r_0074_0015__and(R_0074_0015__AND)
      & has_conj2(R_0074_0015__AND,R_0074_0018__WOULD_R_0074_0019__HAVE_R_0074_0020__ROUSED_R_0074_0022__FROM)
      & r_0074_0018__would_r_0074_0019__have_r_0074_0020__roused_r_0074_0022__from(R_0074_0018__WOULD_R_0074_0019__HAVE_R_0074_0020__ROUSED_R_0074_0022__FROM)
      & has_arg2(R_0074_0018__WOULD_R_0074_0019__HAVE_R_0074_0020__ROUSED_R_0074_0022__FROM,R_0074_0025__DOZE)
      & r_0074_0025__doze(R_0074_0025__DOZE)
      & has_attrib(R_0074_0025__DOZE,R_0074_0024__STUPEFIED)
      & has_gen(R_0074_0025__DOZE,R_0074_0014__HIM)
      & has_arg0(R_0074_0018__WOULD_R_0074_0019__HAVE_R_0074_0020__ROUSED_R_0074_0022__FROM,R_0074_0016__THIS_R_0074_0017__PRESENT)
      & has_arg1(R_0074_0018__WOULD_R_0074_0019__HAVE_R_0074_0020__ROUSED_R_0074_0022__FROM,R_0074_0014__HIM)
      & has_conj1(R_0074_0015__AND,R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN)
      & r_0074_0004__would_r_0074_0005__have_r_0074_0006__given(R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN)
      & has_r_0074_0013__for__nim(R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN,R_0074_0014__HIM)
      & has_arg1(R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN,R_0074_0008__A_R_0074_0009__PACKET)
      & r_0074_0008__a_r_0074_0009__packet(R_0074_0008__A_R_0074_0009__PACKET)
      & has_r_0074_0010__of(R_0074_0008__A_R_0074_0009__PACKET,R_0074_0011__HIGH_R_0074_0012__TOAST)
      & has_arg0(R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN,R_0074_0003__AUNT)
      & r_0074_0003__aunt(R_0074_0003__AUNT)
      & has_gen(R_0074_0003__AUNT,R_0074_0002__MY)
      & has_arg2(R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN,R_0074_0002__MY)
      & has_nim(R_0074_0004__WOULD_R_0074_0005__HAVE_R_0074_0006__GIVEN,R_0074_0001__PERHAPS) ) ).