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

%3 r_0080_0003__clicked clicked r_0080_0001__The_r_0080_0002__latch The latch r_0080_0003__clicked->r_0080_0001__The_r_0080_0002__latch [arg0] r_0080_0004__upward upward r_0080_0003__clicked->r_0080_0004__upward [nim] r_0080_0006__and and r_0080_0006__and->r_0080_0003__clicked [conj1] r_0080_0012__appeared appeared r_0080_0006__and->r_0080_0012__appeared [conj2] r_0080_0011__pedestrian pedestrian r_0080_0012__appeared->r_0080_0011__pedestrian [arg0] r_0080_0008__the_r_0080_0009__night the night r_0080_0012__appeared->r_0080_0008__the_r_0080_0009__night out of [nim] r_0080_0014__the_r_0080_0015__door__hyphen__mat the door-mat r_0080_0012__appeared->r_0080_0014__the_r_0080_0015__door__hyphen__mat upon [nim] r_0080_0010__our our r_0080_0011__pedestrian->r_0080_0010__our [gen]
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).



%3 r_0080_0003__clicked clicked r_0080_0001__The_r_0080_0002__latch The latch r_0080_0003__clicked->r_0080_0001__The_r_0080_0002__latch [arg0] r_0080_0004__upward upward r_0080_0003__clicked->r_0080_0004__upward [nim] r_0080_0006__and and r_0080_0006__and->r_0080_0003__clicked [conj1] r_0080_0012__appeared appeared r_0080_0006__and->r_0080_0012__appeared [conj2] r_0080_0011__pedestrian pedestrian r_0080_0012__appeared->r_0080_0011__pedestrian [arg0] r_0080_0008__the_r_0080_0009__night the night r_0080_0012__appeared->r_0080_0008__the_r_0080_0009__night out of [nim] r_0080_0014__the_r_0080_0015__door__hyphen__mat the door-mat r_0080_0012__appeared->r_0080_0014__the_r_0080_0015__door__hyphen__mat upon [nim] r_0080_0010__our our r_0080_0011__pedestrian->r_0080_0010__our [gen]
fof(formula,axiom,
    ? [R_80_6_AND,R_80_3_CLICKED,R_80_1_THE_LATCH,R_80_4_UPWARD,R_80_12_APPEARED,R_80_11_PEDESTRIAN,R_80_10_OUR,R_80_8_THE_NIGHT,R_80_14_THE_DOOR_HYPHEN_MAT] :
      ( the_latch(R_80_1_THE_LATCH)
      & upward(R_80_4_UPWARD)
      & our(R_80_10_OUR)
      & the_night(R_80_8_THE_NIGHT)
      & the_door_hyphen_mat(R_80_14_THE_DOOR_HYPHEN_MAT)
      & and(R_80_6_AND)
      & conj1(R_80_6_AND,R_80_3_CLICKED)
      & clicked(R_80_3_CLICKED,R_80_1_THE_LATCH)
      & nim11(R_80_3_CLICKED,R_80_4_UPWARD)
      & conj2(R_80_6_AND,R_80_12_APPEARED)
      & appeared(R_80_12_APPEARED,R_80_11_PEDESTRIAN)
      & pedestrian(R_80_11_PEDESTRIAN)
      & gen(R_80_11_PEDESTRIAN,R_80_10_OUR)
      & out_of_nim23(R_80_12_APPEARED,R_80_8_THE_NIGHT)
      & upon_nim39(R_80_12_APPEARED,R_80_14_THE_DOOR_HYPHEN_MAT) ) ).



n80_a_hardy_1883 n80_a_hardy_1883_6 The n80_a_hardy_1883_8 latch n80_a_hardy_1883_10 clicked n80_a_hardy_1883_13 upward n80_a_hardy_1883_15 , n80_a_hardy_1883_18 and n80_a_hardy_1883_22 out_of n80_a_hardy_1883_25 the n80_a_hardy_1883_27 night n80_a_hardy_1883_31 our n80_a_hardy_1883_33 pedestrian n80_a_hardy_1883_35 appeared n80_a_hardy_1883_38 upon n80_a_hardy_1883_41 the n80_a_hardy_1883_43 door-mat n80_a_hardy_1883_45 . n80_a_hardy_1883_1 IP-MAT n80_a_hardy_1883_2 ILYR n80_a_hardy_1883_1->n80_a_hardy_1883_2 n80_a_hardy_1883_44 PUNC n80_a_hardy_1883_1->n80_a_hardy_1883_44 n80_a_hardy_1883_3 ILYR n80_a_hardy_1883_2->n80_a_hardy_1883_3 n80_a_hardy_1883_14 PUNC n80_a_hardy_1883_2->n80_a_hardy_1883_14 n80_a_hardy_1883_16 CONJP n80_a_hardy_1883_2->n80_a_hardy_1883_16 n80_a_hardy_1883_4 NP-SBJ n80_a_hardy_1883_3->n80_a_hardy_1883_4 n80_a_hardy_1883_9 VBD;_I_ n80_a_hardy_1883_3->n80_a_hardy_1883_9 n80_a_hardy_1883_11 ADVP-NIM n80_a_hardy_1883_3->n80_a_hardy_1883_11 n80_a_hardy_1883_5 D n80_a_hardy_1883_4->n80_a_hardy_1883_5 n80_a_hardy_1883_7 N n80_a_hardy_1883_4->n80_a_hardy_1883_7 n80_a_hardy_1883_5->n80_a_hardy_1883_6 n80_a_hardy_1883_7->n80_a_hardy_1883_8 n80_a_hardy_1883_9->n80_a_hardy_1883_10 n80_a_hardy_1883_12 RP n80_a_hardy_1883_11->n80_a_hardy_1883_12 n80_a_hardy_1883_12->n80_a_hardy_1883_13 n80_a_hardy_1883_14->n80_a_hardy_1883_15 n80_a_hardy_1883_17 CONJ n80_a_hardy_1883_16->n80_a_hardy_1883_17 n80_a_hardy_1883_19 ILYR n80_a_hardy_1883_16->n80_a_hardy_1883_19 n80_a_hardy_1883_17->n80_a_hardy_1883_18 n80_a_hardy_1883_20 PP-NIM n80_a_hardy_1883_19->n80_a_hardy_1883_20 n80_a_hardy_1883_28 NP-SBJ n80_a_hardy_1883_19->n80_a_hardy_1883_28 n80_a_hardy_1883_34 VBD;_I_ n80_a_hardy_1883_19->n80_a_hardy_1883_34 n80_a_hardy_1883_36 PP-NIM n80_a_hardy_1883_19->n80_a_hardy_1883_36 n80_a_hardy_1883_21 P-ROLE n80_a_hardy_1883_20->n80_a_hardy_1883_21 n80_a_hardy_1883_23 NP n80_a_hardy_1883_20->n80_a_hardy_1883_23 n80_a_hardy_1883_21->n80_a_hardy_1883_22 n80_a_hardy_1883_24 D n80_a_hardy_1883_23->n80_a_hardy_1883_24 n80_a_hardy_1883_26 N n80_a_hardy_1883_23->n80_a_hardy_1883_26 n80_a_hardy_1883_24->n80_a_hardy_1883_25 n80_a_hardy_1883_26->n80_a_hardy_1883_27 n80_a_hardy_1883_29 NP-GEN n80_a_hardy_1883_28->n80_a_hardy_1883_29 n80_a_hardy_1883_32 N n80_a_hardy_1883_28->n80_a_hardy_1883_32 n80_a_hardy_1883_30 PRO;_genm_ n80_a_hardy_1883_29->n80_a_hardy_1883_30 n80_a_hardy_1883_30->n80_a_hardy_1883_31 n80_a_hardy_1883_32->n80_a_hardy_1883_33 n80_a_hardy_1883_34->n80_a_hardy_1883_35 n80_a_hardy_1883_37 P-ROLE n80_a_hardy_1883_36->n80_a_hardy_1883_37 n80_a_hardy_1883_39 NP n80_a_hardy_1883_36->n80_a_hardy_1883_39 n80_a_hardy_1883_37->n80_a_hardy_1883_38 n80_a_hardy_1883_40 D n80_a_hardy_1883_39->n80_a_hardy_1883_40 n80_a_hardy_1883_42 N n80_a_hardy_1883_39->n80_a_hardy_1883_42 n80_a_hardy_1883_40->n80_a_hardy_1883_41 n80_a_hardy_1883_42->n80_a_hardy_1883_43 n80_a_hardy_1883_44->n80_a_hardy_1883_45
( (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))