62_a_hardy_1883
He turned aside, and, finding it empty, stood under the pent-roof for shelter.
arc(r_0062_0002__turned_r_0062_0003__aside, r_0062_0001__He, arg0).
arc(r_0062_0005__and, r_0062_0002__turned_r_0062_0003__aside, conj1).
arc(r_0062_0005__and, z_000_62_a_hardy_1883_19, conj2).
arc(r_0062_0007__finding, r_0062_0001__He, arg0).
arc(r_0062_0007__finding, r_0062_0008__it, arg1).
arc(r_0062_0007__finding, r_0062_0009__empty, prd).
arc(r_0062_0011__stood, r_0062_0001__He, arg0).
arc(r_0062_0011__stood, r_0062_0013__the_r_0062_0014__pent__hyphen__roof, r_0062_0012__under_nim36).
arc(r_0062_0011__stood, r_0062_0016__shelter, r_0062_0015__for_nim44).
arc(z_000_62_a_hardy_1883_19, r_0062_0007__finding, restriction).
arc(z_000_62_a_hardy_1883_19, r_0062_0011__stood, scope).
fof(formula,axiom,
? [R_62_5_AND,R_62_2_TURNED_ASIDE,Z_62_A_HARDY_1883_19,R_62_7_FINDING,R_62_8_IT,R_62_9_EMPTY,R_62_11_STOOD,R_62_1_HE,R_62_13_THE_PENT_HYPHEN_ROOF,R_62_16_SHELTER] :
( it(R_62_8_IT)
& empty(R_62_9_EMPTY)
& he(R_62_1_HE)
& the_pent_hyphen_roof(R_62_13_THE_PENT_HYPHEN_ROOF)
& shelter(R_62_16_SHELTER)
& and(R_62_5_AND)
& conj1(R_62_5_AND,R_62_2_TURNED_ASIDE)
& turned_aside(R_62_2_TURNED_ASIDE,R_62_1_HE)
& conj2(R_62_5_AND,Z_62_A_HARDY_1883_19)
& z_62_a_hardy_1883_19(Z_62_A_HARDY_1883_19)
& conj1(Z_62_A_HARDY_1883_19,R_62_7_FINDING)
& finding(R_62_7_FINDING,R_62_1_HE,R_62_8_IT,R_62_9_EMPTY)
& conj2(Z_62_A_HARDY_1883_19,R_62_11_STOOD)
& stood(R_62_11_STOOD,R_62_1_HE)
& under_nim36(R_62_11_STOOD,R_62_13_THE_PENT_HYPHEN_ROOF)
& for_nim44(R_62_11_STOOD,R_62_16_SHELTER) ) ).
( (IP-MAT (NP-SBJ;{PEDESTRIAN} (PRO He;{he}))
(ILYR (ILYR (VBD;__ turned;{turn})
(RP aside;{aside}))
(PUNC ,)
(CONJP (CONJ and;{and})
(PUNC ,)
(ILYR (PP-SCON (IP-PPL (VAG;__ finding;{find})
(NP-OB1 (PRO it;{it}))
(ADJP-PRD (ADJ empty;{empty}))))
(PUNC ,)
(VBD;__ stood;{stand})
(PP-NIM (P-ROLE under;{under})
(NP (D the;{the})
(N pent_<hyphen>_roof;{pent_roof})))
(PP-NIM (P-ROLE for;{for})
(NP (N shelter;{shelter}))))))
(PUNC .))
(ID 62_a_hardy_1883))