TSPC 96_a_joyce

96_a_joyce_1914
Nannie received us in the hall; and, as it would have been unseemly to have shouted at her, my aunt shook hands with her for all.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{NANNIE} (NPR Nannie;{Nannie}))
                      (VBD;_Tn_ received;{receive})
                      (NP-OB1;{SPEAKER+AUNT} (PRO us;{we}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N hall;{hall}))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (PP-SCON (P-CONN as;{as})
                                      (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                                              (MD;_cat_Vi_ would;{will})
                                              (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                          (IP-PPL-CAT (BEN;_La_ been;{be})
                                                                      (ADJP-PRD (ADJ unseemly;{unseemly}))
                                                                      (IP-INF-NSBJ (TO to;{to})
                                                                                   (HV;_cat_Ve_ have;{have})
                                                                                   (IP-PPL-CAT (VVN;_Ipr_ shouted;{shout[at]})
                                                                                               (PP-CLR (P-ROLE at;{at})
                                                                                                       (NP;{NANNIE} (PRO her;{her})))))))))
                             (PUNC ,)
                             (NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
                                            (N aunt;{aunt}))
                             (VBD;_Tn_ shook;{shake})
                             (NP-OB1 (NS hands;{hand}))
                             (PP-NIM (P-ROLE with;{with})
                                     (NP;{NANNIE} (PRO her;{her})))
                             (PP-NIM (P-ROLE for;{for})
                                     (NP (Q;_nphd_ all;{all}))))))
          (PUNC .))
  (ID 96_a_joyce_1914))

arc(r_0096_0002__received,r_0096_0001__Nannie,arg0).
arc(r_0096_0002__received,r_0096_0003__us,arg1).
arc(r_0096_0002__received,r_0096_0005__the_r_0096_0006__hall,r_0096_0004__in__nim).
arc(r_0096_0008__and,r_0096_0002__received,conj1).
arc(r_0096_0008__and,r_0096_0010__as,conj2).
arc(r_0096_0010__as,r_0096_0012__would,restriction).
arc(r_0096_0010__as,r_0096_0029__all__quant,scope).
arc(r_0096_0012__would,r_0096_0013__have,scope).
arc(r_0096_0013__have,r_0096_0014__been,scope).
arc(r_0096_0014__been,r_0096_0015__unseemly,prd).
arc(r_0096_0014__been,r_0096_0017__have,arg0).
arc(r_0096_0017__have,r_0096_0018__shouted_r_0096_0019__at,scope).
arc(r_0096_0018__shouted_r_0096_0019__at,r_0096_0001__Nannie,arg1).
arc(r_0096_0018__shouted_r_0096_0019__at,z_0096_5004,arg0).
arc(r_0096_0023__aunt,r_0096_0022__my,gen).
arc(r_0096_0024__shook,r_0096_0001__Nannie,r_0096_0026__with__nim).
arc(r_0096_0024__shook,r_0096_0023__aunt,arg0).
arc(r_0096_0024__shook,r_0096_0025__hands,arg1).
arc(r_0096_0024__shook,z_0096_5020,r_0096_0028__for__nim).
arc(r_0096_0029__all__quant,r_0096_0024__shook,scope).
arc(r_0096_0029__all__quant,z_0096_5020,restriction).

fof(formula,axiom,
    ? [R_0096_0001__NANNIE,R_0096_0003__US,R_0096_0005__THE_R_0096_0006__HALL,R_0096_0002__RECEIVED,R_0096_0015__UNSEEMLY,Z_0096_5004,R_0096_0017__HAVE_R_0096_0018__SHOUTED_R_0096_0019__AT,R_0096_0012__WOULD_R_0096_0013__HAVE_R_0096_0014__BEEN,R_0096_0010__AS,R_0096_0008__AND] :
      ( r_0096_0001__Nannie(R_0096_0001__NANNIE)
      & r_0096_0003__us(R_0096_0003__US)
      & r_0096_0005__the_r_0096_0006__hall(R_0096_0005__THE_R_0096_0006__HALL)
      & r_0096_0015__unseemly(R_0096_0015__UNSEEMLY)
      & z_0096_5004(Z_0096_5004)
      & r_0096_0008__and(R_0096_0008__AND)
      & has_conj2(R_0096_0008__AND,R_0096_0010__AS)
      & r_0096_0010__as(R_0096_0010__AS)
      & ! [Z_0096_5020] :
          ( z_0096_5020(Z_0096_5020)
         => ? [R_0096_0022__MY,R_0096_0023__AUNT,R_0096_0025__HANDS,R_0096_0024__SHOOK] :
              ( r_0096_0022__my(R_0096_0022__MY)
              & r_0096_0025__hands(R_0096_0025__HANDS)
              & r_0096_0024__shook(R_0096_0024__SHOOK)
              & has_r_0096_0028__for__nim(R_0096_0024__SHOOK,Z_0096_5020)
              & has_arg1(R_0096_0024__SHOOK,R_0096_0025__HANDS)
              & has_arg0(R_0096_0024__SHOOK,R_0096_0023__AUNT)
              & r_0096_0023__aunt(R_0096_0023__AUNT)
              & has_gen(R_0096_0023__AUNT,R_0096_0022__MY)
              & has_r_0096_0026__with__nim(R_0096_0024__SHOOK,R_0096_0001__NANNIE) ) )
      & has_conj1(R_0096_0010__AS,R_0096_0012__WOULD_R_0096_0013__HAVE_R_0096_0014__BEEN)
      & r_0096_0012__would_r_0096_0013__have_r_0096_0014__been(R_0096_0012__WOULD_R_0096_0013__HAVE_R_0096_0014__BEEN)
      & has_arg0(R_0096_0012__WOULD_R_0096_0013__HAVE_R_0096_0014__BEEN,R_0096_0017__HAVE_R_0096_0018__SHOUTED_R_0096_0019__AT)
      & r_0096_0017__have_r_0096_0018__shouted_r_0096_0019__at(R_0096_0017__HAVE_R_0096_0018__SHOUTED_R_0096_0019__AT)
      & has_arg0(R_0096_0017__HAVE_R_0096_0018__SHOUTED_R_0096_0019__AT,Z_0096_5004)
      & has_arg1(R_0096_0017__HAVE_R_0096_0018__SHOUTED_R_0096_0019__AT,R_0096_0001__NANNIE)
      & has_prd(R_0096_0012__WOULD_R_0096_0013__HAVE_R_0096_0014__BEEN,R_0096_0015__UNSEEMLY)
      & has_conj1(R_0096_0008__AND,R_0096_0002__RECEIVED)
      & r_0096_0002__received(R_0096_0002__RECEIVED)
      & has_r_0096_0004__in__nim(R_0096_0002__RECEIVED,R_0096_0005__THE_R_0096_0006__HALL)
      & has_arg1(R_0096_0002__RECEIVED,R_0096_0003__US)
      & has_arg0(R_0096_0002__RECEIVED,R_0096_0001__NANNIE) ) ).