TSPC 118_a_joyce

118_a_joyce_1914
No one spoke: we all gazed at the empty fireplace.

( (IP-MAT (NP-SBJ;{PERSONS} (Q No;{no})
                            (N one;{one}))
          (VBD;_I_ spoke;{speak})
          (PUNC :)
          (PRN (IP-MAT (NP-SBJ;{SPEAKER+AUNT+ELIZA+NANNIE} (PRO we;{we}))
                       (ADVP-NIM (ADV all;{all}))
                       (VBD;_Ipr_ gazed;{gaze[at]})
                       (PP-CLR (P-ROLE at;{at})
                               (NP (D the;{the})
                                   (ADJP (ADJ empty;{empty}))
                                   (N fireplace;{fireplace})))))
          (PUNC .))
  (ID 118_a_joyce_1914))

arc(r_0118_0001__No__quant,r_0118_0002__one,restriction).
arc(r_0118_0001__No__quant,r_0118_0003__spoke,scope).
arc(r_0118_0003__spoke,r_0118_0002__one,arg0).
arc(r_0118_0003__spoke,r_0118_0007__gazed_r_0118_0008__at,prn).
arc(r_0118_0007__gazed_r_0118_0008__at,r_0118_0005__we,arg0).
arc(r_0118_0007__gazed_r_0118_0008__at,r_0118_0006__all,nim).
arc(r_0118_0007__gazed_r_0118_0008__at,r_0118_0009__the_r_0118_0011__fireplace,arg1).
arc(r_0118_0009__the_r_0118_0011__fireplace,r_0118_0010__empty,attrib).

fof(formula,axiom,
    ! [R_0118_0002__ONE] :
      ( r_0118_0002__one(R_0118_0002__ONE)
     => ? [R_0118_0005__WE,R_0118_0006__ALL,R_0118_0010__EMPTY,R_0118_0009__THE_R_0118_0011__FIREPLACE,R_0118_0007__GAZED_R_0118_0008__AT,R_0118_0003__SPOKE] :
          ( r_0118_0005__we(R_0118_0005__WE)
          & r_0118_0006__all(R_0118_0006__ALL)
          & r_0118_0010__empty(R_0118_0010__EMPTY)
          & r_0118_0003__spoke(R_0118_0003__SPOKE)
          & has_prn(R_0118_0003__SPOKE,R_0118_0007__GAZED_R_0118_0008__AT)
          & r_0118_0007__gazed_r_0118_0008__at(R_0118_0007__GAZED_R_0118_0008__AT)
          & has_arg1(R_0118_0007__GAZED_R_0118_0008__AT,R_0118_0009__THE_R_0118_0011__FIREPLACE)
          & r_0118_0009__the_r_0118_0011__fireplace(R_0118_0009__THE_R_0118_0011__FIREPLACE)
          & has_attrib(R_0118_0009__THE_R_0118_0011__FIREPLACE,R_0118_0010__EMPTY)
          & has_nim(R_0118_0007__GAZED_R_0118_0008__AT,R_0118_0006__ALL)
          & has_arg0(R_0118_0007__GAZED_R_0118_0008__AT,R_0118_0005__WE)
          & has_arg0(R_0118_0003__SPOKE,R_0118_0002__ONE) ) ) ).