TSPC 12_a_joyce

12_a_joyce_1914
Old Cotter was sitting at the fire, smoking, when I came downstairs to supper.

( (IP-MAT (ILYR (NP-SBJ;{COTTER} (ADJP (ADJ Old;{old}))
                                 (NPR Cotter;{Cotter}))
                (BED;_cat_Vg_ was;{be})
                (IP-PPL-CAT (VAG;_I_ sitting;{sit})
                            (PP-NIM (P-ROLE at;{at})
                                    (NP (D the;{the})
                                        (N fire;{fire}))))
                (PUNC ,)
                (PP-SCON (IP-PPL (VAG;_I_ smoking;{smoke}))))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Ip_ came;{come[downstairs]})
                           (ADVP-CLR (ADV downstairs;{downstairs})
                                     (PP (P-ROLE to;{to})
                                         (NP (N supper;{supper}))))))
          (PUNC .))
  (ID 12_a_joyce_1914))

arc(r_0012_0002__Cotter,r_0012_0001__Old,attrib).
arc(r_0012_0003__was,r_0012_0004__sitting,scope).
arc(r_0012_0004__sitting,r_0012_0002__Cotter,arg0).
arc(r_0012_0004__sitting,r_0012_0006__the_r_0012_0007__fire,r_0012_0005__at__nim).
arc(r_0012_0009__smoking,r_0012_0002__Cotter,arg0).
arc(r_0012_0011__when,r_0012_0013__came,restriction).
arc(r_0012_0011__when,z_0012_5006,scope).
arc(r_0012_0013__came,r_0012_0012__I,arg0).
arc(r_0012_0013__came,r_0012_0014__downstairs,clr).
arc(r_0012_0014__downstairs,r_0012_0016__supper,r_0012_0015__to).
arc(z_0012_5006,r_0012_0003__was,scope).
arc(z_0012_5006,r_0012_0009__smoking,restriction).

fof(formula,axiom,
    ! [R_0012_0013__CAME,R_0012_0012__I,R_0012_0016__SUPPER,R_0012_0014__DOWNSTAIRS] :
      ( ( r_0012_0012__I(R_0012_0012__I)
        & r_0012_0016__supper(R_0012_0016__SUPPER)
        & r_0012_0013__came(R_0012_0013__CAME)
        & has_clr(R_0012_0013__CAME,R_0012_0014__DOWNSTAIRS)
        & r_0012_0014__downstairs(R_0012_0014__DOWNSTAIRS)
        & has_r_0012_0015__to(R_0012_0014__DOWNSTAIRS,R_0012_0016__SUPPER)
        & has_arg0(R_0012_0013__CAME,R_0012_0012__I) )
     => ? [R_0012_0001__OLD,R_0012_0002__COTTER,R_0012_0006__THE_R_0012_0007__FIRE,R_0012_0003__WAS_R_0012_0004__SITTING,R_0012_0009__SMOKING,Z_0012_5006] :
          ( r_0012_0001__Old(R_0012_0001__OLD)
          & r_0012_0006__the_r_0012_0007__fire(R_0012_0006__THE_R_0012_0007__FIRE)
          & z_0012_5006(Z_0012_5006)
          & has_conj1(Z_0012_5006,R_0012_0009__SMOKING)
          & r_0012_0009__smoking(R_0012_0009__SMOKING)
          & has_arg0(R_0012_0009__SMOKING,R_0012_0002__COTTER)
          & r_0012_0002__Cotter(R_0012_0002__COTTER)
          & has_attrib(R_0012_0002__COTTER,R_0012_0001__OLD)
          & has_conj2(Z_0012_5006,R_0012_0003__WAS_R_0012_0004__SITTING)
          & r_0012_0003__was_r_0012_0004__sitting(R_0012_0003__WAS_R_0012_0004__SITTING)
          & has_r_0012_0005__at__nim(R_0012_0003__WAS_R_0012_0004__SITTING,R_0012_0006__THE_R_0012_0007__FIRE)
          & has_arg0(R_0012_0003__WAS_R_0012_0004__SITTING,R_0012_0002__COTTER) ) ) ).