20_a_joyce_1914
He began to puff again at his pipe without giving us his theory.
arc(r_0020_0002__began, r_0020_0003__to_r_0020_0004__puff, scope).
arc(r_0020_0002__began, r_0020_0010__giving, r_0020_0009__without_nim27).
arc(r_0020_0003__to_r_0020_0004__puff, r_0020_0001__He, arg0).
arc(r_0020_0003__to_r_0020_0004__puff, r_0020_0005__again, nim12).
arc(r_0020_0003__to_r_0020_0004__puff, r_0020_0008__pipe, r_0020_0006__at_clr18).
arc(r_0020_0008__pipe, r_0020_0001__He, gen).
arc(r_0020_0010__giving, r_0020_0011__us, arg2).
arc(r_0020_0010__giving, r_0020_0013__theory, arg1).
arc(r_0020_0010__giving, z_000_20_a_joyce_1914_27, arg0).
arc(r_0020_0013__theory, r_0020_0001__He, gen).
fof(formula,axiom,
? [R_20_2_BEGAN_TO_PUFF,R_20_5_AGAIN,R_20_8_PIPE,R_20_10_GIVING,Z_20_A_JOYCE_1914_27,R_20_13_THEORY,R_20_1_HE,R_20_11_US] :
( again(R_20_5_AGAIN)
& he(R_20_1_HE)
& us(R_20_11_US)
& began_to_puff(R_20_2_BEGAN_TO_PUFF,R_20_1_HE)
& nim12(R_20_2_BEGAN_TO_PUFF,R_20_5_AGAIN)
& at_clr18(R_20_2_BEGAN_TO_PUFF,R_20_8_PIPE)
& pipe(R_20_8_PIPE)
& gen(R_20_8_PIPE,R_20_1_HE)
& without_nim27(R_20_2_BEGAN_TO_PUFF,R_20_10_GIVING)
& giving(R_20_10_GIVING,Z_20_A_JOYCE_1914_27,R_20_13_THEORY,R_20_11_US)
& theory(R_20_13_THEORY)
& gen(R_20_13_THEORY,R_20_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]})
(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))