TSPC 61_a_hardy

61_a_hardy_1883
He turned aside, and, finding it empty, stood under the pent-roof for 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 61_a_hardy_1883))

arc(r_0061_0002__turned_r_0061_0003__aside,r_0061_0001__He,arg0).
arc(r_0061_0005__and,r_0061_0002__turned_r_0061_0003__aside,conj1).
arc(r_0061_0005__and,z_0061_5004,conj2).
arc(r_0061_0007__finding,r_0061_0001__He,arg0).
arc(r_0061_0007__finding,r_0061_0008__it,arg1).
arc(r_0061_0007__finding,r_0061_0009__empty,prd).
arc(r_0061_0011__stood,r_0061_0001__He,arg0).
arc(r_0061_0011__stood,r_0061_0013__the_r_0061_0014__pent__hyphen__roof,r_0061_0012__under__nim).
arc(r_0061_0011__stood,r_0061_0016__shelter,r_0061_0015__for__nim).
arc(z_0061_5004,r_0061_0007__finding,restriction).
arc(z_0061_5004,r_0061_0011__stood,scope).

fof(formula,axiom,
    ? [R_0061_0001__HE,R_0061_0002__TURNED_R_0061_0003__ASIDE,R_0061_0008__IT,R_0061_0009__EMPTY,R_0061_0007__FINDING,R_0061_0013__THE_R_0061_0014__PENT__HYPHEN__ROOF,R_0061_0016__SHELTER,R_0061_0011__STOOD,Z_0061_5004,R_0061_0005__AND] :
      ( r_0061_0001__He(R_0061_0001__HE)
      & r_0061_0008__it(R_0061_0008__IT)
      & r_0061_0009__empty(R_0061_0009__EMPTY)
      & r_0061_0013__the_r_0061_0014__pent__hyphen__roof(R_0061_0013__THE_R_0061_0014__PENT__HYPHEN__ROOF)
      & r_0061_0016__shelter(R_0061_0016__SHELTER)
      & r_0061_0005__and(R_0061_0005__AND)
      & has_conj2(R_0061_0005__AND,Z_0061_5004)
      & z_0061_5004(Z_0061_5004)
      & has_conj2(Z_0061_5004,R_0061_0011__STOOD)
      & r_0061_0011__stood(R_0061_0011__STOOD)
      & has_r_0061_0015__for__nim(R_0061_0011__STOOD,R_0061_0016__SHELTER)
      & has_r_0061_0012__under__nim(R_0061_0011__STOOD,R_0061_0013__THE_R_0061_0014__PENT__HYPHEN__ROOF)
      & has_arg0(R_0061_0011__STOOD,R_0061_0001__HE)
      & has_conj1(Z_0061_5004,R_0061_0007__FINDING)
      & r_0061_0007__finding(R_0061_0007__FINDING)
      & has_prd(R_0061_0007__FINDING,R_0061_0009__EMPTY)
      & has_arg1(R_0061_0007__FINDING,R_0061_0008__IT)
      & has_arg0(R_0061_0007__FINDING,R_0061_0001__HE)
      & has_conj1(R_0061_0005__AND,R_0061_0002__TURNED_R_0061_0003__ASIDE)
      & r_0061_0002__turned_r_0061_0003__aside(R_0061_0002__TURNED_R_0061_0003__ASIDE)
      & has_arg0(R_0061_0002__TURNED_R_0061_0003__ASIDE,R_0061_0001__HE) ) ).