TSPC 14_a_joyce

14_a_joyce_1914
He began to puff at his pipe, no doubt arranging his opinion in his mind.

( (IP-MAT (NP-SBJ;{COTTER} (PRO He;{he}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Ipr_ puff;{puff[at]})
                      (PP-CLR (P-ROLE at;{at})
                              (NP (NP-GEN;{COTTER} (PRO;_genm_ his;{his}))
                                  (N pipe;{pipe}))))
          (PUNC ,)
          (PP-SCON (IP-PPL (NP-NIM (Q no;{no})
                                   (N doubt;{doubt}))
                           (VAG;_Tn_ arranging;{arrange})
                           (NP-OB1 (NP-GEN;{COTTER} (PRO;_genm_ his;{his}))
                                   (N opinion;{opinion}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (NP-GEN;{COTTER} (PRO;_genm_ his;{his}))
                                       (N mind;{mind})))))
          (PUNC .))
  (ID 14_a_joyce_1914))

arc(r_0014_0002__began,r_0014_0004__puff_r_0014_0005__at,scope).
arc(r_0014_0004__puff_r_0014_0005__at,r_0014_0001__He,arg0).
arc(r_0014_0004__puff_r_0014_0005__at,r_0014_0007__pipe,arg1).
arc(r_0014_0007__pipe,r_0014_0001__He,gen).
arc(r_0014_0009__no__quant,r_0014_0010__doubt,restriction).
arc(r_0014_0009__no__quant,r_0014_0011__arranging,scope).
arc(r_0014_0011__arranging,r_0014_0001__He,arg0).
arc(r_0014_0011__arranging,r_0014_0010__doubt,nim).
arc(r_0014_0011__arranging,r_0014_0013__opinion,arg1).
arc(r_0014_0011__arranging,r_0014_0016__mind,r_0014_0014__in__nim).
arc(r_0014_0013__opinion,r_0014_0001__He,gen).
arc(r_0014_0016__mind,r_0014_0001__He,gen).
arc(z_0014_5001,r_0014_0002__began,scope).
arc(z_0014_5001,r_0014_0009__no__quant,restriction).

fof(formula,axiom,
    ? [R_0014_0001__HE,R_0014_0007__PIPE,R_0014_0002__BEGAN_R_0014_0004__PUFF_R_0014_0005__AT,Z_0014_5001] :
      ( r_0014_0001__He(R_0014_0001__HE)
      & z_0014_5001(Z_0014_5001)
      & ! [R_0014_0010__DOUBT] :
          ( r_0014_0010__doubt(R_0014_0010__DOUBT)
         => ? [R_0014_0013__OPINION,R_0014_0016__MIND,R_0014_0011__ARRANGING] :
              ( r_0014_0011__arranging(R_0014_0011__ARRANGING)
              & has_r_0014_0014__in__nim(R_0014_0011__ARRANGING,R_0014_0016__MIND)
              & r_0014_0016__mind(R_0014_0016__MIND)
              & has_gen(R_0014_0016__MIND,R_0014_0001__HE)
              & has_arg1(R_0014_0011__ARRANGING,R_0014_0013__OPINION)
              & r_0014_0013__opinion(R_0014_0013__OPINION)
              & has_gen(R_0014_0013__OPINION,R_0014_0001__HE)
              & has_nim(R_0014_0011__ARRANGING,R_0014_0010__DOUBT)
              & has_arg0(R_0014_0011__ARRANGING,R_0014_0001__HE) ) )
      & has_conj2(Z_0014_5001,R_0014_0002__BEGAN_R_0014_0004__PUFF_R_0014_0005__AT)
      & r_0014_0002__began_r_0014_0004__puff_r_0014_0005__at(R_0014_0002__BEGAN_R_0014_0004__PUFF_R_0014_0005__AT)
      & has_arg1(R_0014_0002__BEGAN_R_0014_0004__PUFF_R_0014_0005__AT,R_0014_0007__PIPE)
      & r_0014_0007__pipe(R_0014_0007__PIPE)
      & has_gen(R_0014_0007__PIPE,R_0014_0001__HE)
      & has_arg0(R_0014_0002__BEGAN_R_0014_0004__PUFF_R_0014_0005__AT,R_0014_0001__HE) ) ).