TSPC 107_a_joyce

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) ) ).