108_a_joyce_1914
But no. When we rose and went up to the head of the bed I saw that he was not smiling.
arc(r_0108_0001__But_r_0108_0002__no_r_0108_0017__saw, r_0108_0016__I, arg0).
arc(r_0108_0001__But_r_0108_0002__no_r_0108_0017__saw, r_0108_0021__not, arg1).
arc(r_0108_0001__But_r_0108_0002__no_r_0108_0017__saw, z_000_108_a_joyce_1914_8, nim8).
arc(r_0108_0006__rose, r_0108_0005__we, arg0).
arc(r_0108_0006__rose, z_000_108_a_joyce_1914_8, nim10).
arc(r_0108_0007__and, r_0108_0006__rose, conj1).
arc(r_0108_0007__and, r_0108_0008__went_r_0108_0009__up, conj2).
arc(r_0108_0008__went_r_0108_0009__up, r_0108_0005__we, arg0).
arc(r_0108_0008__went_r_0108_0009__up, r_0108_0011__the_r_0108_0012__head, r_0108_0010__to_clr31).
arc(r_0108_0008__went_r_0108_0009__up, z_000_108_a_joyce_1914_8, nim10).
arc(r_0108_0011__the_r_0108_0012__head, r_0108_0014__the_r_0108_0015__bed, r_0108_0013__of).
arc(r_0108_0018__that_r_0108_0020__was, r_0108_0022__smiling, scope).
arc(r_0108_0021__not, r_0108_0018__that_r_0108_0020__was, keep_scope).
arc(r_0108_0022__smiling, r_0108_0019__he, arg0).
fof(formula,axiom,
? [R_108_1_BUT_NO_SAW,R_108_16_I,R_108_7_AND,R_108_6_ROSE,R_108_8_WENT_UP,R_108_5_WE,Z_108_A_JOYCE_1914_8,R_108_11_THE_HEAD,R_108_14_THE_BED] :
( i(R_108_16_I)
& we(R_108_5_WE)
& the_bed(R_108_14_THE_BED)
& but_no_saw(R_108_1_BUT_NO_SAW,R_108_16_I,R_108_21_NOT)
& ~ ? [R_108_18_THAT_WAS_SMILING,R_108_19_HE] :
( he(R_108_19_HE)
& that_was_smiling(R_108_18_THAT_WAS_SMILING,R_108_19_HE) )
& nim8(R_108_1_BUT_NO_SAW,Z_108_A_JOYCE_1914_8)
& and(R_108_7_AND)
& conj1(R_108_7_AND,R_108_6_ROSE)
& rose(R_108_6_ROSE,R_108_5_WE)
& nim10(R_108_6_ROSE,Z_108_A_JOYCE_1914_8)
& conj2(R_108_7_AND,R_108_8_WENT_UP)
& went_up(R_108_8_WENT_UP,R_108_5_WE)
& nim10(R_108_8_WENT_UP,Z_108_A_JOYCE_1914_8)
& to_clr31(R_108_8_WENT_UP,R_108_11_THE_HEAD)
& the_head(R_108_11_THE_HEAD)
& of(R_108_11_THE_HEAD,R_108_14_THE_BED) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(REACT no)
(PUNC .)
(NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
(NP-SBJ;{SPEAKER_AUNT_NANNIE} (PRO we;{we}))
(ILYR (ILYR (VBD;_I_ rose;{rise}))
(CONJP (CONJ and;{and})
(ILYR (VBD;_phr_Vp.pr_ went;{go[up,to]})
(RP up;{up})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N head;{head})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N bed;{bed}))))))))))
(NP-SBJ (PRO I;{I}))
(VBD;_Tf_ saw;{see})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{PRIEST} (PRO he;{he}))
(BED;_cat_Vg_ was;{be})
(NEG not;{not})
(IP-PPL-CAT (VAG;_I_ smiling;{smile}))))
(PUNC .))
(ID 108_a_joyce_1914))