TSPC 68_a_hardy

68_a_hardy_1883
Arrived here, his first act was to kneel down on a large stone beside the row of vessels, and to drink a copious draught from one of them.

( (IP-MAT (PP-SCON (IP-PPL3 (VVN;_I_ Arrived;{arrive})
                            (ADVP-NIM (ADV here;{here}))))
          (PUNC ,)
          (NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                  (NUM first;{first})
                  (N act;{act}))
          (BED;_cat_Vt_ was;{be})
          (IP-INF-CAT (ILYR (ILYR (TO to;{to})
                                  (VB;_Ip_ kneel;{kneel[down]})
                                  (ADVP-CLR (RP down;{down}))
                                  (PP-NIM (P-ROLE on;{on})
                                          (NP (D a;{a})
                                              (ADJP (ADJ large;{large}))
                                              (N stone;{stone})
                                              (PP (P-ROLE beside;{beside})
                                                  (NP (D the;{the})
                                                      (N row;{row})
                                                      (PP (P-ROLE of;{of})
                                                          (NP;{VESSELS} (NS vessels;{vessel}))))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (TO to;{to})
                                         (VB;_Tn_ drink;{drink})
                                         (NP-OB1 (D a;{a})
                                                 (ADJP (ADJ copious;{copious}))
                                                 (N draught;{draught})
                                                 (PP (P-ROLE from;{from})
                                                     (NP (NUM one;{one})
                                                         (PP (P-ROLE of;{of})
                                                             (NP;{VESSELS} (PRO them;{they}))))))))))
          (PUNC .))
  (ID 68_a_hardy_1883))

arc(r_0068_0001__Arrived,r_0068_0002__here,nim).
arc(r_0068_0001__Arrived,z_0068_5004,arg0).
arc(r_0068_0005__first_r_0068_0006__act,r_0068_0004__his,gen).
arc(r_0068_0007__was,r_0068_0021__and,scope).
arc(r_0068_0009__kneel_r_0068_0010__down,r_0068_0005__first_r_0068_0006__act,arg0).
arc(r_0068_0009__kneel_r_0068_0010__down,r_0068_0012__a_r_0068_0014__stone,r_0068_0011__on__nim).
arc(r_0068_0012__a_r_0068_0014__stone,r_0068_0013__large,attrib).
arc(r_0068_0012__a_r_0068_0014__stone,r_0068_0016__the_r_0068_0017__row,r_0068_0015__beside).
arc(r_0068_0016__the_r_0068_0017__row,r_0068_0019__vessels,r_0068_0018__of).
arc(r_0068_0021__and,r_0068_0009__kneel_r_0068_0010__down,conj1).
arc(r_0068_0021__and,r_0068_0023__drink,conj2).
arc(r_0068_0023__drink,r_0068_0005__first_r_0068_0006__act,arg0).
arc(r_0068_0023__drink,r_0068_0024__a_r_0068_0026__draught,arg1).
arc(r_0068_0024__a_r_0068_0026__draught,r_0068_0025__copious,attrib).
arc(r_0068_0024__a_r_0068_0026__draught,r_0068_0028__one,r_0068_0027__from).
arc(r_0068_0028__one,r_0068_0019__vessels,r_0068_0029__of).
arc(z_0068_5001,r_0068_0001__Arrived,restriction).
arc(z_0068_5001,r_0068_0007__was,scope).

fof(formula,axiom,
    ? [R_0068_0002__HERE,Z_0068_5004,R_0068_0001__ARRIVED,R_0068_0004__HIS,R_0068_0005__FIRST_R_0068_0006__ACT,R_0068_0013__LARGE,R_0068_0019__VESSELS,R_0068_0016__THE_R_0068_0017__ROW,R_0068_0012__A_R_0068_0014__STONE,R_0068_0009__KNEEL_R_0068_0010__DOWN,R_0068_0025__COPIOUS,R_0068_0028__ONE,R_0068_0024__A_R_0068_0026__DRAUGHT,R_0068_0023__DRINK,R_0068_0021__AND,R_0068_0007__WAS,Z_0068_5001] :
      ( r_0068_0002__here(R_0068_0002__HERE)
      & r_0068_0004__his(R_0068_0004__HIS)
      & r_0068_0013__large(R_0068_0013__LARGE)
      & r_0068_0019__vessels(R_0068_0019__VESSELS)
      & r_0068_0025__copious(R_0068_0025__COPIOUS)
      & z_0068_5004(Z_0068_5004)
      & z_0068_5001(Z_0068_5001)
      & has_conj2(Z_0068_5001,R_0068_0007__WAS)
      & r_0068_0007__was(R_0068_0007__WAS)
      & has_keep_scope(R_0068_0007__WAS,R_0068_0021__AND)
      & r_0068_0021__and(R_0068_0021__AND)
      & has_conj2(R_0068_0021__AND,R_0068_0023__DRINK)
      & r_0068_0023__drink(R_0068_0023__DRINK)
      & has_arg1(R_0068_0023__DRINK,R_0068_0024__A_R_0068_0026__DRAUGHT)
      & r_0068_0024__a_r_0068_0026__draught(R_0068_0024__A_R_0068_0026__DRAUGHT)
      & has_r_0068_0027__from(R_0068_0024__A_R_0068_0026__DRAUGHT,R_0068_0028__ONE)
      & r_0068_0028__one(R_0068_0028__ONE)
      & has_r_0068_0029__of(R_0068_0028__ONE,R_0068_0019__VESSELS)
      & has_attrib(R_0068_0024__A_R_0068_0026__DRAUGHT,R_0068_0025__COPIOUS)
      & has_arg0(R_0068_0023__DRINK,R_0068_0005__FIRST_R_0068_0006__ACT)
      & r_0068_0005__first_r_0068_0006__act(R_0068_0005__FIRST_R_0068_0006__ACT)
      & has_gen(R_0068_0005__FIRST_R_0068_0006__ACT,R_0068_0004__HIS)
      & has_conj1(R_0068_0021__AND,R_0068_0009__KNEEL_R_0068_0010__DOWN)
      & r_0068_0009__kneel_r_0068_0010__down(R_0068_0009__KNEEL_R_0068_0010__DOWN)
      & has_r_0068_0011__on__nim(R_0068_0009__KNEEL_R_0068_0010__DOWN,R_0068_0012__A_R_0068_0014__STONE)
      & r_0068_0012__a_r_0068_0014__stone(R_0068_0012__A_R_0068_0014__STONE)
      & has_r_0068_0015__beside(R_0068_0012__A_R_0068_0014__STONE,R_0068_0016__THE_R_0068_0017__ROW)
      & r_0068_0016__the_r_0068_0017__row(R_0068_0016__THE_R_0068_0017__ROW)
      & has_r_0068_0018__of(R_0068_0016__THE_R_0068_0017__ROW,R_0068_0019__VESSELS)
      & has_attrib(R_0068_0012__A_R_0068_0014__STONE,R_0068_0013__LARGE)
      & has_arg0(R_0068_0009__KNEEL_R_0068_0010__DOWN,R_0068_0005__FIRST_R_0068_0006__ACT)
      & has_conj1(Z_0068_5001,R_0068_0001__ARRIVED)
      & r_0068_0001__Arrived(R_0068_0001__ARRIVED)
      & has_arg0(R_0068_0001__ARRIVED,Z_0068_5004)
      & has_nim(R_0068_0001__ARRIVED,R_0068_0002__HERE) ) ).