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_0062_0001__HE,R_0062_0002__TURNED_R_0062_0003__ASIDE,R_0062_0008__IT,R_0062_0009__EMPTY,R_0062_0007__FINDING,R_0062_0013__THE_R_0062_0014__PENT__HYPHEN__ROOF,R_0062_0016__SHELTER,R_0062_0011__STOOD,Z_000_62_A_HARDY_1883_19,R_0062_0005__AND] :
( r_0062_0001__He(R_0062_0001__HE)
& r_0062_0008__it(R_0062_0008__IT)
& r_0062_0009__empty(R_0062_0009__EMPTY)
& r_0062_0013__the_r_0062_0014__pent__hyphen__roof(R_0062_0013__THE_R_0062_0014__PENT__HYPHEN__ROOF)
& r_0062_0016__shelter(R_0062_0016__SHELTER)
& r_0062_0005__and(R_0062_0005__AND)
& has_conj2(R_0062_0005__AND,Z_000_62_A_HARDY_1883_19)
& z_000_62_a_hardy_1883_19(Z_000_62_A_HARDY_1883_19)
& has_conj2(Z_000_62_A_HARDY_1883_19,R_0062_0011__STOOD)
& r_0062_0011__stood(R_0062_0011__STOOD)
& has_r_0062_0015__for_nim44(R_0062_0011__STOOD,R_0062_0016__SHELTER)
& has_r_0062_0012__under_nim36(R_0062_0011__STOOD,R_0062_0013__THE_R_0062_0014__PENT__HYPHEN__ROOF)
& has_arg0(R_0062_0011__STOOD,R_0062_0001__HE)
& has_conj1(Z_000_62_A_HARDY_1883_19,R_0062_0007__FINDING)
& r_0062_0007__finding(R_0062_0007__FINDING)
& has_prd(R_0062_0007__FINDING,R_0062_0009__EMPTY)
& has_arg1(R_0062_0007__FINDING,R_0062_0008__IT)
& has_arg0(R_0062_0007__FINDING,R_0062_0001__HE)
& has_conj1(R_0062_0005__AND,R_0062_0002__TURNED_R_0062_0003__ASIDE)
& r_0062_0002__turned_r_0062_0003__aside(R_0062_0002__TURNED_R_0062_0003__ASIDE)
& has_arg0(R_0062_0002__TURNED_R_0062_0003__ASIDE,R_0062_0001__HE) ) ).
( (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))