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_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) ) ).
( (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))