TSPC 80_a_hardy

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

arc(r_0080_0003__clicked, r_0080_0001__The_r_0080_0002__latch, arg0).
arc(r_0080_0003__clicked, r_0080_0004__upward, nim11).
arc(r_0080_0006__and, r_0080_0003__clicked, conj1).
arc(r_0080_0006__and, r_0080_0012__appeared, conj2).
arc(r_0080_0011__pedestrian, r_0080_0010__our, gen).
arc(r_0080_0012__appeared, r_0080_0008__the_r_0080_0009__night, r_0080_0007__out_of_nim23).
arc(r_0080_0012__appeared, r_0080_0011__pedestrian, arg0).
arc(r_0080_0012__appeared, r_0080_0014__the_r_0080_0015__door__hyphen__mat, r_0080_0013__upon_nim39).

fof(formula,axiom,
    ? [R_0080_0001__THE_R_0080_0002__LATCH,R_0080_0004__UPWARD,R_0080_0003__CLICKED,R_0080_0008__THE_R_0080_0009__NIGHT,R_0080_0010__OUR,R_0080_0011__PEDESTRIAN,R_0080_0014__THE_R_0080_0015__DOOR__HYPHEN__MAT,R_0080_0012__APPEARED,R_0080_0006__AND] :
      ( r_0080_0001__The_r_0080_0002__latch(R_0080_0001__THE_R_0080_0002__LATCH)
      & r_0080_0004__upward(R_0080_0004__UPWARD)
      & r_0080_0008__the_r_0080_0009__night(R_0080_0008__THE_R_0080_0009__NIGHT)
      & r_0080_0010__our(R_0080_0010__OUR)
      & r_0080_0014__the_r_0080_0015__door__hyphen__mat(R_0080_0014__THE_R_0080_0015__DOOR__HYPHEN__MAT)
      & r_0080_0006__and(R_0080_0006__AND)
      & has_conj2(R_0080_0006__AND,R_0080_0012__APPEARED)
      & r_0080_0012__appeared(R_0080_0012__APPEARED)
      & has_r_0080_0013__upon_nim39(R_0080_0012__APPEARED,R_0080_0014__THE_R_0080_0015__DOOR__HYPHEN__MAT)
      & has_arg0(R_0080_0012__APPEARED,R_0080_0011__PEDESTRIAN)
      & r_0080_0011__pedestrian(R_0080_0011__PEDESTRIAN)
      & has_gen(R_0080_0011__PEDESTRIAN,R_0080_0010__OUR)
      & has_r_0080_0007__out_of_nim23(R_0080_0012__APPEARED,R_0080_0008__THE_R_0080_0009__NIGHT)
      & has_conj1(R_0080_0006__AND,R_0080_0003__CLICKED)
      & r_0080_0003__clicked(R_0080_0003__CLICKED)
      & has_nim11(R_0080_0003__CLICKED,R_0080_0004__UPWARD)
      & has_arg0(R_0080_0003__CLICKED,R_0080_0001__THE_R_0080_0002__LATCH) ) ).

( (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 80_a_hardy_1883))