TSPC 79_a_hardy

79_a_hardy_1883
The latch clicked upward, and out of the night our pedestrian appeared upon the door-mat.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N latch;{latch}))
                      (VBD;_I_ clicked;{click})
                      (ADVP-NIM (RP upward;{upward})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE out_of;{out_of})
                                     (NP (D the;{the})
                                         (N night;{night})))
                             (NP-SBJ;{PEDESTRIAN} (NP-GEN (PRO;_genm_ our;{our}))
                                                  (N pedestrian;{pedestrian}))
                             (VBD;_I_ appeared;{appear})
                             (PP-NIM (P-ROLE upon;{upon})
                                     (NP (D the;{the})
                                         (N door_<hyphen>_mat;{doormat}))))))
          (PUNC .))
  (ID 79_a_hardy_1883))

arc(r_0079_0003__clicked,r_0079_0001__The_r_0079_0002__latch,arg0).
arc(r_0079_0003__clicked,r_0079_0004__upward,nim).
arc(r_0079_0006__and,r_0079_0003__clicked,conj1).
arc(r_0079_0006__and,r_0079_0012__appeared,conj2).
arc(r_0079_0011__pedestrian,r_0079_0010__our,gen).
arc(r_0079_0012__appeared,r_0079_0008__the_r_0079_0009__night,r_0079_0007__out_of__nim).
arc(r_0079_0012__appeared,r_0079_0011__pedestrian,arg0).
arc(r_0079_0012__appeared,r_0079_0014__the_r_0079_0015__door__hyphen__mat,r_0079_0013__upon__nim).

fof(formula,axiom,
    ? [R_0079_0001__THE_R_0079_0002__LATCH,R_0079_0004__UPWARD,R_0079_0003__CLICKED,R_0079_0008__THE_R_0079_0009__NIGHT,R_0079_0010__OUR,R_0079_0011__PEDESTRIAN,R_0079_0014__THE_R_0079_0015__DOOR__HYPHEN__MAT,R_0079_0012__APPEARED,R_0079_0006__AND] :
      ( r_0079_0001__The_r_0079_0002__latch(R_0079_0001__THE_R_0079_0002__LATCH)
      & r_0079_0004__upward(R_0079_0004__UPWARD)
      & r_0079_0008__the_r_0079_0009__night(R_0079_0008__THE_R_0079_0009__NIGHT)
      & r_0079_0010__our(R_0079_0010__OUR)
      & r_0079_0014__the_r_0079_0015__door__hyphen__mat(R_0079_0014__THE_R_0079_0015__DOOR__HYPHEN__MAT)
      & r_0079_0006__and(R_0079_0006__AND)
      & has_conj2(R_0079_0006__AND,R_0079_0012__APPEARED)
      & r_0079_0012__appeared(R_0079_0012__APPEARED)
      & has_r_0079_0013__upon__nim(R_0079_0012__APPEARED,R_0079_0014__THE_R_0079_0015__DOOR__HYPHEN__MAT)
      & has_arg0(R_0079_0012__APPEARED,R_0079_0011__PEDESTRIAN)
      & r_0079_0011__pedestrian(R_0079_0011__PEDESTRIAN)
      & has_gen(R_0079_0011__PEDESTRIAN,R_0079_0010__OUR)
      & has_r_0079_0007__out_of__nim(R_0079_0012__APPEARED,R_0079_0008__THE_R_0079_0009__NIGHT)
      & has_conj1(R_0079_0006__AND,R_0079_0003__CLICKED)
      & r_0079_0003__clicked(R_0079_0003__CLICKED)
      & has_nim(R_0079_0003__CLICKED,R_0079_0004__UPWARD)
      & has_arg0(R_0079_0003__CLICKED,R_0079_0001__THE_R_0079_0002__LATCH) ) ).