14_a_joyce_1914
He began to puff at his pipe, no doubt arranging his opinion in his mind.
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).
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) ) ).
( (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))