TSPC 67_a_hardy

67_a_hardy_1883
This cessation of activity aroused the solitary pedestrian from the reverie into which he had lapsed, and, emerging from the shed, with an apparently new intention, he walked up the path to the house-door.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D This;{this})
                              (N cessation;{cessation})
                              (PP (P-ROLE of;{of})
                                  (NP (N activity;{activity}))))
                      (VBD;__ aroused;{arouse})
                      (NP-OB1;{PEDESTRIAN} (D the;{the})
                                           (ADJP (ADJ solitary;{solitary}))
                                           (N pedestrian;{pedestrian}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (N reverie;{reverie})
                                  (IP-REL (PP-129 (P-ROLE into;{into})
                                                  (NP (RPRO which;{which})))
                                          (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                                          (HVD;_cat_Ve_ had;{have})
                                          (IP-PPL-CAT (PP-NIM *ICH*-129)
                                                      (VVN;__ lapsed;{lapse}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (PP-SCON (IP-PPL2 (VAG;__ emerging;{emerge})
                                               (PP-NIM (P-ROLE from;{from})
                                                       (NP (D the;{the})
                                                           (N shed;{shed})))
                                               (PUNC ,)
                                               (PP-NIM (P-ROLE with;{with})
                                                       (NP (D an;{an})
                                                           (ADJP (ADVP (ADV apparently;{apparently}))
                                                                 (ADJ new;{new}))
                                                           (N intention;{intention})))))
                             (PUNC ,)
                             (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                             (VBD;_Ipr_ walked;{walk[up]})
                             (PP-CLR (P-ROLE up;{up})
                                     (NP (D the;{the})
                                         (N path;{path})
                                         (PP (P-ROLE to;{to})
                                             (NP (D the;{the})
                                                 (N house_<hyphen>_door;{house_door}))))))))
          (PUNC .))
  (ID 67_a_hardy_1883))

arc(r_0067_0001__This_r_0067_0002__cessation,r_0067_0004__activity,r_0067_0003__of).
arc(r_0067_0005__aroused,r_0067_0001__This_r_0067_0002__cessation,arg0).
arc(r_0067_0005__aroused,r_0067_0006__the_r_0067_0008__pedestrian,arg1).
arc(r_0067_0005__aroused,r_0067_0010__the_r_0067_0011__reverie,r_0067_0009__from__nim).
arc(r_0067_0006__the_r_0067_0008__pedestrian,r_0067_0007__solitary,attrib).
arc(r_0067_0015__had,r_0067_0016__lapsed,scope).
arc(r_0067_0016__lapsed,r_0067_0006__the_r_0067_0008__pedestrian,arg0).
arc(r_0067_0016__lapsed,r_0067_0010__the_r_0067_0011__reverie,r_0067_0012__into__nim).
arc(r_0067_0018__and,r_0067_0005__aroused,conj1).
arc(r_0067_0018__and,z_0067_5012,conj2).
arc(r_0067_0020__emerging,r_0067_0006__the_r_0067_0008__pedestrian,arg0).
arc(r_0067_0020__emerging,r_0067_0022__the_r_0067_0023__shed,r_0067_0021__from__nim).
arc(r_0067_0020__emerging,r_0067_0026__an_r_0067_0029__intention,r_0067_0025__with__nim).
arc(r_0067_0026__an_r_0067_0029__intention,r_0067_0028__new,attrib).
arc(r_0067_0028__new,r_0067_0027__apparently,qual).
arc(r_0067_0032__walked_r_0067_0033__up,r_0067_0006__the_r_0067_0008__pedestrian,arg0).
arc(r_0067_0032__walked_r_0067_0033__up,r_0067_0034__the_r_0067_0035__path,arg1).
arc(r_0067_0034__the_r_0067_0035__path,r_0067_0037__the_r_0067_0038__house__hyphen__door,r_0067_0036__to).
arc(z_0067_5012,r_0067_0020__emerging,restriction).
arc(z_0067_5012,r_0067_0032__walked_r_0067_0033__up,scope).

fof(formula,axiom,
    ? [R_0067_0007__SOLITARY,R_0067_0006__THE_R_0067_0008__PEDESTRIAN,R_0067_0010__THE_R_0067_0011__REVERIE,R_0067_0015__HAD_R_0067_0016__LAPSED,R_0067_0004__ACTIVITY,R_0067_0001__THIS_R_0067_0002__CESSATION,R_0067_0005__AROUSED,R_0067_0022__THE_R_0067_0023__SHED,R_0067_0027__APPARENTLY,R_0067_0028__NEW,R_0067_0026__AN_R_0067_0029__INTENTION,R_0067_0020__EMERGING,R_0067_0037__THE_R_0067_0038__HOUSE__HYPHEN__DOOR,R_0067_0034__THE_R_0067_0035__PATH,R_0067_0032__WALKED_R_0067_0033__UP,Z_0067_5012,R_0067_0018__AND] :
      ( r_0067_0004__activity(R_0067_0004__ACTIVITY)
      & r_0067_0007__solitary(R_0067_0007__SOLITARY)
      & r_0067_0010__the_r_0067_0011__reverie(R_0067_0010__THE_R_0067_0011__REVERIE)
      & r_0067_0022__the_r_0067_0023__shed(R_0067_0022__THE_R_0067_0023__SHED)
      & r_0067_0027__apparently(R_0067_0027__APPARENTLY)
      & r_0067_0037__the_r_0067_0038__house__hyphen__door(R_0067_0037__THE_R_0067_0038__HOUSE__HYPHEN__DOOR)
      & r_0067_0018__and(R_0067_0018__AND)
      & has_conj2(R_0067_0018__AND,Z_0067_5012)
      & z_0067_5012(Z_0067_5012)
      & has_conj2(Z_0067_5012,R_0067_0032__WALKED_R_0067_0033__UP)
      & r_0067_0032__walked_r_0067_0033__up(R_0067_0032__WALKED_R_0067_0033__UP)
      & has_arg1(R_0067_0032__WALKED_R_0067_0033__UP,R_0067_0034__THE_R_0067_0035__PATH)
      & r_0067_0034__the_r_0067_0035__path(R_0067_0034__THE_R_0067_0035__PATH)
      & has_r_0067_0036__to(R_0067_0034__THE_R_0067_0035__PATH,R_0067_0037__THE_R_0067_0038__HOUSE__HYPHEN__DOOR)
      & has_arg0(R_0067_0032__WALKED_R_0067_0033__UP,R_0067_0006__THE_R_0067_0008__PEDESTRIAN)
      & r_0067_0006__the_r_0067_0008__pedestrian(R_0067_0006__THE_R_0067_0008__PEDESTRIAN)
      & has_attrib(R_0067_0006__THE_R_0067_0008__PEDESTRIAN,R_0067_0007__SOLITARY)
      & has_conj1(Z_0067_5012,R_0067_0020__EMERGING)
      & r_0067_0020__emerging(R_0067_0020__EMERGING)
      & has_r_0067_0025__with__nim(R_0067_0020__EMERGING,R_0067_0026__AN_R_0067_0029__INTENTION)
      & r_0067_0026__an_r_0067_0029__intention(R_0067_0026__AN_R_0067_0029__INTENTION)
      & has_attrib(R_0067_0026__AN_R_0067_0029__INTENTION,R_0067_0028__NEW)
      & r_0067_0028__new(R_0067_0028__NEW)
      & has_qual(R_0067_0028__NEW,R_0067_0027__APPARENTLY)
      & has_r_0067_0021__from__nim(R_0067_0020__EMERGING,R_0067_0022__THE_R_0067_0023__SHED)
      & has_arg0(R_0067_0020__EMERGING,R_0067_0006__THE_R_0067_0008__PEDESTRIAN)
      & has_conj1(R_0067_0018__AND,R_0067_0005__AROUSED)
      & r_0067_0005__aroused(R_0067_0005__AROUSED)
      & has_r_0067_0009__from__nim(R_0067_0005__AROUSED,R_0067_0010__THE_R_0067_0011__REVERIE)
      & has_arg1(R_0067_0005__AROUSED,R_0067_0006__THE_R_0067_0008__PEDESTRIAN)
      & has_arg0(R_0067_0005__AROUSED,R_0067_0001__THIS_R_0067_0002__CESSATION)
      & r_0067_0001__This_r_0067_0002__cessation(R_0067_0001__THIS_R_0067_0002__CESSATION)
      & has_r_0067_0003__of(R_0067_0001__THIS_R_0067_0002__CESSATION,R_0067_0004__ACTIVITY)
      & r_0067_0015__had_r_0067_0016__lapsed(R_0067_0015__HAD_R_0067_0016__LAPSED)
      & has_r_0067_0012__into__nim(R_0067_0015__HAD_R_0067_0016__LAPSED,R_0067_0010__THE_R_0067_0011__REVERIE)
      & has_arg0(R_0067_0015__HAD_R_0067_0016__LAPSED,R_0067_0006__THE_R_0067_0008__PEDESTRIAN) ) ).