TSPC 20_a_joyce

20_a_joyce_1914
He began to puff again at his pipe without giving us his theory.

( (IP-MAT (NP-SBJ;{COTTER} (PRO He;{he}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Ipr_ puff;{puff[at]})
                      (ADVP-NIM (ADV again;{again}))
                      (PP-CLR (P-ROLE at;{at})
                              (NP (NP-GEN;{COTTER} (PRO;_genm_ his;{his}))
                                  (N pipe;{pipe}))))
          (PP-NIM (P-ROLE without;{without})
                  (IP-PPL (VAG;_Dn.n_ giving;{give})
                          (NP-OB2;{SPEAKER+AUNT+UNCLE} (PRO us;{we}))
                          (NP-OB1 (NP-GEN;{COTTER} (PRO;_genm_ his;{his}))
                                  (N theory;{theory}))))
          (PUNC .))
  (ID 20_a_joyce_1914))

arc(r_0020_0002__began,r_0020_0004__puff_r_0020_0006__at,scope).
arc(r_0020_0002__began,r_0020_0010__giving,r_0020_0009__without__nim).
arc(r_0020_0004__puff_r_0020_0006__at,r_0020_0001__He,arg0).
arc(r_0020_0004__puff_r_0020_0006__at,r_0020_0005__again,nim).
arc(r_0020_0004__puff_r_0020_0006__at,r_0020_0008__pipe,arg1).
arc(r_0020_0008__pipe,r_0020_0001__He,gen).
arc(r_0020_0010__giving,r_0020_0001__He,arg0).
arc(r_0020_0010__giving,r_0020_0011__us,arg2).
arc(r_0020_0010__giving,r_0020_0013__theory,arg1).
arc(r_0020_0013__theory,r_0020_0001__He,gen).

fof(formula,axiom,
    ? [R_0020_0001__HE,R_0020_0011__US,R_0020_0013__THEORY,R_0020_0010__GIVING,R_0020_0005__AGAIN,R_0020_0008__PIPE,R_0020_0002__BEGAN_R_0020_0004__PUFF_R_0020_0006__AT] :
      ( r_0020_0001__He(R_0020_0001__HE)
      & r_0020_0005__again(R_0020_0005__AGAIN)
      & r_0020_0011__us(R_0020_0011__US)
      & r_0020_0002__began_r_0020_0004__puff_r_0020_0006__at(R_0020_0002__BEGAN_R_0020_0004__PUFF_R_0020_0006__AT)
      & has_arg1(R_0020_0002__BEGAN_R_0020_0004__PUFF_R_0020_0006__AT,R_0020_0008__PIPE)
      & r_0020_0008__pipe(R_0020_0008__PIPE)
      & has_gen(R_0020_0008__PIPE,R_0020_0001__HE)
      & has_nim(R_0020_0002__BEGAN_R_0020_0004__PUFF_R_0020_0006__AT,R_0020_0005__AGAIN)
      & has_arg0(R_0020_0002__BEGAN_R_0020_0004__PUFF_R_0020_0006__AT,R_0020_0001__HE)
      & has_r_0020_0009__without__nim(R_0020_0002__BEGAN_R_0020_0004__PUFF_R_0020_0006__AT,R_0020_0010__GIVING)
      & r_0020_0010__giving(R_0020_0010__GIVING)
      & has_arg1(R_0020_0010__GIVING,R_0020_0013__THEORY)
      & r_0020_0013__theory(R_0020_0013__THEORY)
      & has_gen(R_0020_0013__THEORY,R_0020_0001__HE)
      & has_arg2(R_0020_0010__GIVING,R_0020_0011__US)
      & has_arg0(R_0020_0010__GIVING,R_0020_0001__HE) ) ).