Context                Previous, Next                Top


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

%3 r_0014_0002__began began r_0014_0003__to_r_0014_0004__puff to puff r_0014_0002__began->r_0014_0003__to_r_0014_0004__puff [scope] r_0014_0001__He He r_0014_0003__to_r_0014_0004__puff->r_0014_0001__He [arg0] r_0014_0007__pipe pipe r_0014_0003__to_r_0014_0004__puff->r_0014_0007__pipe at [clr] r_0014_0007__pipe->r_0014_0001__He [gen] r_0014_0009__no_quant no [quant] r_0014_0010__doubt doubt r_0014_0009__no_quant->r_0014_0010__doubt [restriction] r_0014_0011__arranging arranging r_0014_0009__no_quant->r_0014_0011__arranging [scope] r_0014_0011__arranging->r_0014_0001__He [arg0] r_0014_0011__arranging->r_0014_0010__doubt [nim] r_0014_0013__opinion opinion r_0014_0011__arranging->r_0014_0013__opinion [arg1] r_0014_0016__mind mind r_0014_0011__arranging->r_0014_0016__mind in [nim] r_0014_0013__opinion->r_0014_0001__He [gen] r_0014_0016__mind->r_0014_0001__He [gen] z_000_14_a_joyce_1914_23 z_000_14_a_joyce_1914_23->r_0014_0002__began [scope] z_000_14_a_joyce_1914_23->r_0014_0009__no_quant [restriction] 
arc(r_0014_0002__began, r_0014_0003__to_r_0014_0004__puff, scope).
arc(r_0014_0003__to_r_0014_0004__puff, r_0014_0001__He, arg0).
arc(r_0014_0003__to_r_0014_0004__puff, r_0014_0007__pipe, r_0014_0005__at_clr15).
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, nim25).
arc(r_0014_0011__arranging, r_0014_0013__opinion, arg1).
arc(r_0014_0011__arranging, r_0014_0016__mind, r_0014_0014__in_nim41).
arc(r_0014_0013__opinion, r_0014_0001__He, gen).
arc(r_0014_0016__mind, r_0014_0001__He, gen).
arc(z_000_14_a_joyce_1914_23, r_0014_0002__began, scope).
arc(z_000_14_a_joyce_1914_23, r_0014_0009__no_quant, restriction).


%3 r_0014_0002__began_r_0014_0003__to_r_0014_0004__puff began to puff r_0014_0001__He He r_0014_0002__began_r_0014_0003__to_r_0014_0004__puff->r_0014_0001__He [arg0] r_0014_0007__pipe pipe r_0014_0002__began_r_0014_0003__to_r_0014_0004__puff->r_0014_0007__pipe at [clr] r_0014_0007__pipe->r_0014_0001__He [gen] r_0014_0009__no_quant no [quant] r_0014_0010__doubt doubt r_0014_0009__no_quant->r_0014_0010__doubt [restriction] r_0014_0011__arranging arranging r_0014_0009__no_quant->r_0014_0011__arranging [scope] r_0014_0011__arranging->r_0014_0001__He [arg0] r_0014_0011__arranging->r_0014_0010__doubt [nim] r_0014_0013__opinion opinion r_0014_0011__arranging->r_0014_0013__opinion [arg1] r_0014_0016__mind mind r_0014_0011__arranging->r_0014_0016__mind in [nim] r_0014_0013__opinion->r_0014_0001__He [gen] r_0014_0016__mind->r_0014_0001__He [gen] z_000_14_a_joyce_1914_23 z_000_14_a_joyce_1914_23->r_0014_0002__began_r_0014_0003__to_r_0014_0004__puff [conj2] z_000_14_a_joyce_1914_23->r_0014_0009__no_quant [conj1] 
fof(formula,axiom,
    ? [Z_14_A_JOYCE_1914_23,R_14_2_BEGAN_TO_PUFF,R_14_7_PIPE,R_14_1_HE] :
      ( he(R_14_1_HE)
      & ! [R_14_10_DOUBT] :
          ( doubt(R_14_10_DOUBT)
         => ? [R_14_11_ARRANGING,R_14_13_OPINION,R_14_16_MIND] :
              ( arranging(R_14_11_ARRANGING,R_14_1_HE,R_14_13_OPINION)
              & opinion(R_14_13_OPINION)
              & gen(R_14_13_OPINION,R_14_1_HE)
              & nim25(R_14_11_ARRANGING,R_14_10_DOUBT)
              & in_nim41(R_14_11_ARRANGING,R_14_16_MIND)
              & mind(R_14_16_MIND)
              & gen(R_14_16_MIND,R_14_1_HE) ) )
      & conj1(CONJ1)
      & z_14_a_joyce_1914_23(Z_14_A_JOYCE_1914_23)
      & conj2(Z_14_A_JOYCE_1914_23,R_14_2_BEGAN_TO_PUFF)
      & began_to_puff(R_14_2_BEGAN_TO_PUFF,R_14_1_HE)
      & at_clr15(R_14_2_BEGAN_TO_PUFF,R_14_7_PIPE)
      & pipe(R_14_7_PIPE)
      & gen(R_14_7_PIPE,R_14_1_HE) ) ).


n14_a_joyce_1914 n14_a_joyce_1914_4 He n14_a_joyce_1914_6 began n14_a_joyce_1914_9 to n14_a_joyce_1914_11 puff n14_a_joyce_1914_14 at n14_a_joyce_1914_18 his n14_a_joyce_1914_20 pipe n14_a_joyce_1914_22 , n14_a_joyce_1914_27 no n14_a_joyce_1914_29 doubt n14_a_joyce_1914_31 arranging n14_a_joyce_1914_35 his n14_a_joyce_1914_37 opinion n14_a_joyce_1914_40 in n14_a_joyce_1914_44 his n14_a_joyce_1914_46 mind n14_a_joyce_1914_48 . n14_a_joyce_1914_1 IP-MAT n14_a_joyce_1914_2 NP-SBJ n14_a_joyce_1914_1->n14_a_joyce_1914_2 n14_a_joyce_1914_5 VBD;_cat_Vt_ n14_a_joyce_1914_1->n14_a_joyce_1914_5 n14_a_joyce_1914_7 IP-INF-CAT n14_a_joyce_1914_1->n14_a_joyce_1914_7 n14_a_joyce_1914_21 PUNC n14_a_joyce_1914_1->n14_a_joyce_1914_21 n14_a_joyce_1914_23 PP-SCON n14_a_joyce_1914_1->n14_a_joyce_1914_23 n14_a_joyce_1914_47 PUNC n14_a_joyce_1914_1->n14_a_joyce_1914_47 n14_a_joyce_1914_3 PRO n14_a_joyce_1914_2->n14_a_joyce_1914_3 n14_a_joyce_1914_3->n14_a_joyce_1914_4 n14_a_joyce_1914_5->n14_a_joyce_1914_6 n14_a_joyce_1914_8 TO n14_a_joyce_1914_7->n14_a_joyce_1914_8 n14_a_joyce_1914_10 VB;_Ipr_ n14_a_joyce_1914_7->n14_a_joyce_1914_10 n14_a_joyce_1914_12 PP-CLR n14_a_joyce_1914_7->n14_a_joyce_1914_12 n14_a_joyce_1914_8->n14_a_joyce_1914_9 n14_a_joyce_1914_10->n14_a_joyce_1914_11 n14_a_joyce_1914_13 P-ROLE n14_a_joyce_1914_12->n14_a_joyce_1914_13 n14_a_joyce_1914_15 NP n14_a_joyce_1914_12->n14_a_joyce_1914_15 n14_a_joyce_1914_13->n14_a_joyce_1914_14 n14_a_joyce_1914_16 NP-GEN n14_a_joyce_1914_15->n14_a_joyce_1914_16 n14_a_joyce_1914_19 N n14_a_joyce_1914_15->n14_a_joyce_1914_19 n14_a_joyce_1914_17 PRO;_genm_ n14_a_joyce_1914_16->n14_a_joyce_1914_17 n14_a_joyce_1914_17->n14_a_joyce_1914_18 n14_a_joyce_1914_19->n14_a_joyce_1914_20 n14_a_joyce_1914_21->n14_a_joyce_1914_22 n14_a_joyce_1914_24 IP-PPL n14_a_joyce_1914_23->n14_a_joyce_1914_24 n14_a_joyce_1914_25 NP-NIM n14_a_joyce_1914_24->n14_a_joyce_1914_25 n14_a_joyce_1914_30 VAG;_Tn_ n14_a_joyce_1914_24->n14_a_joyce_1914_30 n14_a_joyce_1914_32 NP-OB1 n14_a_joyce_1914_24->n14_a_joyce_1914_32 n14_a_joyce_1914_38 PP-NIM n14_a_joyce_1914_24->n14_a_joyce_1914_38 n14_a_joyce_1914_26 Q n14_a_joyce_1914_25->n14_a_joyce_1914_26 n14_a_joyce_1914_28 N n14_a_joyce_1914_25->n14_a_joyce_1914_28 n14_a_joyce_1914_26->n14_a_joyce_1914_27 n14_a_joyce_1914_28->n14_a_joyce_1914_29 n14_a_joyce_1914_30->n14_a_joyce_1914_31 n14_a_joyce_1914_33 NP-GEN n14_a_joyce_1914_32->n14_a_joyce_1914_33 n14_a_joyce_1914_36 N n14_a_joyce_1914_32->n14_a_joyce_1914_36 n14_a_joyce_1914_34 PRO;_genm_ n14_a_joyce_1914_33->n14_a_joyce_1914_34 n14_a_joyce_1914_34->n14_a_joyce_1914_35 n14_a_joyce_1914_36->n14_a_joyce_1914_37 n14_a_joyce_1914_39 P-ROLE n14_a_joyce_1914_38->n14_a_joyce_1914_39 n14_a_joyce_1914_41 NP n14_a_joyce_1914_38->n14_a_joyce_1914_41 n14_a_joyce_1914_39->n14_a_joyce_1914_40 n14_a_joyce_1914_42 NP-GEN n14_a_joyce_1914_41->n14_a_joyce_1914_42 n14_a_joyce_1914_45 N n14_a_joyce_1914_41->n14_a_joyce_1914_45 n14_a_joyce_1914_43 PRO;_genm_ n14_a_joyce_1914_42->n14_a_joyce_1914_43 n14_a_joyce_1914_43->n14_a_joyce_1914_44 n14_a_joyce_1914_45->n14_a_joyce_1914_46 n14_a_joyce_1914_47->n14_a_joyce_1914_48 
( (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))