107_a_joyce_1914
But no. When we rose and went up to the head of the bed I saw that he was not smiling.
( (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 107_a_joyce_1914))
arc(r_0107_0006__rose,r_0107_0004__When,nim).
arc(r_0107_0006__rose,r_0107_0005__we,arg0).
arc(r_0107_0007__and,r_0107_0006__rose,conj1).
arc(r_0107_0007__and,r_0107_0008__went_r_0107_0009__up,conj2).
arc(r_0107_0008__went_r_0107_0009__up,r_0107_0004__When,nim).
arc(r_0107_0008__went_r_0107_0009__up,r_0107_0005__we,arg0).
arc(r_0107_0008__went_r_0107_0009__up,r_0107_0011__the_r_0107_0012__head,r_0107_0010__to__clr).
arc(r_0107_0011__the_r_0107_0012__head,r_0107_0014__the_r_0107_0015__bed,r_0107_0013__of).
arc(r_0107_0017__saw,r_0107_0004__When,nim).
arc(r_0107_0017__saw,r_0107_0016__I,arg0).
arc(r_0107_0017__saw,r_0107_0021__not,arg1).
arc(r_0107_0020__was,r_0107_0022__smiling,scope).
arc(r_0107_0021__not,r_0107_0020__was,keep_scope).
arc(r_0107_0022__smiling,r_0107_0019__he,arg0).
fof(formula,axiom,
? [R_0107_0004__WHEN,R_0107_0005__WE,R_0107_0006__ROSE,R_0107_0014__THE_R_0107_0015__BED,R_0107_0011__THE_R_0107_0012__HEAD,R_0107_0008__WENT_R_0107_0009__UP,R_0107_0007__AND,R_0107_0016__I,R_0107_0017__SAW] :
( r_0107_0004__When(R_0107_0004__WHEN)
& r_0107_0005__we(R_0107_0005__WE)
& r_0107_0014__the_r_0107_0015__bed(R_0107_0014__THE_R_0107_0015__BED)
& r_0107_0016__I(R_0107_0016__I)
& r_0107_0017__saw(R_0107_0017__SAW)
& has_arg1(R_0107_0017__SAW,R_0107_0021__NOT)
& ~ ? [R_0107_0019__HE,R_0107_0020__WAS_R_0107_0022__SMILING] :
( r_0107_0019__he(R_0107_0019__HE)
& r_0107_0020__was_r_0107_0022__smiling(R_0107_0020__WAS_R_0107_0022__SMILING)
& has_arg0(R_0107_0020__WAS_R_0107_0022__SMILING,R_0107_0019__HE) )
& has_arg0(R_0107_0017__SAW,R_0107_0016__I)
& has_nim(R_0107_0017__SAW,R_0107_0004__WHEN)
& r_0107_0007__and(R_0107_0007__AND)
& has_conj2(R_0107_0007__AND,R_0107_0008__WENT_R_0107_0009__UP)
& r_0107_0008__went_r_0107_0009__up(R_0107_0008__WENT_R_0107_0009__UP)
& has_r_0107_0010__to__clr(R_0107_0008__WENT_R_0107_0009__UP,R_0107_0011__THE_R_0107_0012__HEAD)
& r_0107_0011__the_r_0107_0012__head(R_0107_0011__THE_R_0107_0012__HEAD)
& has_r_0107_0013__of(R_0107_0011__THE_R_0107_0012__HEAD,R_0107_0014__THE_R_0107_0015__BED)
& has_arg0(R_0107_0008__WENT_R_0107_0009__UP,R_0107_0005__WE)
& has_nim(R_0107_0008__WENT_R_0107_0009__UP,R_0107_0004__WHEN)
& has_conj1(R_0107_0007__AND,R_0107_0006__ROSE)
& r_0107_0006__rose(R_0107_0006__ROSE)
& has_arg0(R_0107_0006__ROSE,R_0107_0005__WE)
& has_nim(R_0107_0006__ROSE,R_0107_0004__WHEN) ) ).