TSPC 35_a_potter

35_a_potter_1902
Then he tried to find his way straight across the garden, but he became more and more puzzled.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Then;{then}))
                      (NP-SBJ;{PETER} (PRO he;{he}))
                      (VBD;_It_ tried;{try})
                      (IP-INF-CLR (TO to;{to})
                                  (VB;_Tn_ find;{find})
                                  (NP-OB1 (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
                                          (N way;{way}))
                                  (ADVP-NIM (ADV straight;{straight}))
                                  (PP-NIM (P-ROLE across;{across})
                                          (NP (D the;{the})
                                              (N garden;{garden})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{PETER} (PRO he;{he}))
                             (VBD;_La_ became;{become})
                             (ADJP-PRD (ADVP (AVLYR (AVLYR (ADVR more;{more}))
                                                    (CONJP (CONJ and;{and})
                                                           (AVLYR (ADVR more;{more})))))
                                       (ADJ puzzled;{puzzled})))))
          (PUNC .))
  (ID 35_a_potter_1902))

arc(r_0035_0003__tried,r_0035_0001__Then,nim).
arc(r_0035_0003__tried,r_0035_0002__he,arg0).
arc(r_0035_0003__tried,r_0035_0005__find,clr).
arc(r_0035_0005__find,r_0035_0002__he,arg0).
arc(r_0035_0005__find,r_0035_0007__way,arg1).
arc(r_0035_0005__find,r_0035_0008__straight,nim).
arc(r_0035_0005__find,r_0035_0010__the_r_0035_0011__garden,r_0035_0009__across__nim).
arc(r_0035_0007__way,r_0035_0002__he,gen).
arc(r_0035_0013__but,r_0035_0003__tried,conj1).
arc(r_0035_0013__but,r_0035_0015__became,conj2).
arc(r_0035_0015__became,r_0035_0002__he,arg0).
arc(r_0035_0015__became,r_0035_0019__puzzled,prd).
arc(r_0035_0017__and,r_0035_0016__more,conj1).
arc(r_0035_0017__and,r_0035_0018__more,conj2).
arc(r_0035_0019__puzzled,r_0035_0017__and,qual).

fof(formula,axiom,
    ? [R_0035_0001__THEN,R_0035_0002__HE,R_0035_0007__WAY,R_0035_0008__STRAIGHT,R_0035_0010__THE_R_0035_0011__GARDEN,R_0035_0005__FIND,R_0035_0003__TRIED,R_0035_0016__MORE,R_0035_0018__MORE,R_0035_0017__AND,R_0035_0019__PUZZLED,R_0035_0015__BECAME,R_0035_0013__BUT] :
      ( r_0035_0001__Then(R_0035_0001__THEN)
      & r_0035_0002__he(R_0035_0002__HE)
      & r_0035_0008__straight(R_0035_0008__STRAIGHT)
      & r_0035_0010__the_r_0035_0011__garden(R_0035_0010__THE_R_0035_0011__GARDEN)
      & r_0035_0016__more(R_0035_0016__MORE)
      & r_0035_0018__more(R_0035_0018__MORE)
      & r_0035_0013__but(R_0035_0013__BUT)
      & has_conj2(R_0035_0013__BUT,R_0035_0015__BECAME)
      & r_0035_0015__became(R_0035_0015__BECAME)
      & has_prd(R_0035_0015__BECAME,R_0035_0019__PUZZLED)
      & r_0035_0019__puzzled(R_0035_0019__PUZZLED)
      & has_qual(R_0035_0019__PUZZLED,R_0035_0017__AND)
      & r_0035_0017__and(R_0035_0017__AND)
      & has_conj2(R_0035_0017__AND,R_0035_0018__MORE)
      & has_conj1(R_0035_0017__AND,R_0035_0016__MORE)
      & has_arg0(R_0035_0015__BECAME,R_0035_0002__HE)
      & has_conj1(R_0035_0013__BUT,R_0035_0003__TRIED)
      & r_0035_0003__tried(R_0035_0003__TRIED)
      & has_clr(R_0035_0003__TRIED,R_0035_0005__FIND)
      & r_0035_0005__find(R_0035_0005__FIND)
      & has_r_0035_0009__across__nim(R_0035_0005__FIND,R_0035_0010__THE_R_0035_0011__GARDEN)
      & has_nim(R_0035_0005__FIND,R_0035_0008__STRAIGHT)
      & has_arg1(R_0035_0005__FIND,R_0035_0007__WAY)
      & r_0035_0007__way(R_0035_0007__WAY)
      & has_gen(R_0035_0007__WAY,R_0035_0002__HE)
      & has_arg0(R_0035_0005__FIND,R_0035_0002__HE)
      & has_arg0(R_0035_0003__TRIED,R_0035_0002__HE)
      & has_nim(R_0035_0003__TRIED,R_0035_0001__THEN) ) ).