TSPC 11_a_hardy

11_a_hardy_1883
The only reason for its precise situation seemed to be the crossing of two footpaths at right angles hard by, which may have crossed there and thus for a good five hundred years.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ only;{only}))
                  (N reason;{reason})
                  (PP (P-ROLE for;{for})
                      (NP (NP-GEN;{HCS} (PRO;_genm_ its;{its}))
                          (ADJP (ADJ precise;{precise}))
                          (N situation;{situation}))))
          (VBD;_cat_Vt_ seemed;{seem})
          (IP-INF-CAT (TO to;{to})
                      (BE;_Ln_ be;{be})
                      (NP-PRD (D the;{the})
                              (N crossing;{crossing})
                              (PP (P-ROLE of;{of})
                                  (NP (NUM two;{two})
                                      (NS footpaths;{footpath})))
                              (PP (P-ROLE at;{at})
                                  (NP (ADJP (ADJ right;{right}))
                                      (NS angles;{angle})))
                              (ADVP-NIM (ADVP (ADV hard;{hard}))
                                        (ADV by;{by}))
                              (PUNC ,)
                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                      (MD;_cat_Vi_ may;{may})
                                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                  (IP-PPL-CAT (VVN;_I_ crossed;{cross})
                                                              (ADVP-NIM (AVLYR (AVLYR (ADV there;{there}))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (AVLYR (ADV thus;{thus})))))
                                                              (PP-NIM (P-ROLE for;{for})
                                                                      (NP (D a;{a})
                                                                          (ADJP (ADJ good;{good}))
                                                                          (NUM five;{five})
                                                                          (N hundred;{hundred})
                                                                          (NS years;{year}))))))))
          (PUNC .))
  (ID 11_a_hardy_1883))

arc(r_0011_0001__The_r_0011_0003__reason,r_0011_0002__only,attrib).
arc(r_0011_0001__The_r_0011_0003__reason,r_0011_0007__situation,r_0011_0004__for).
arc(r_0011_0007__situation,r_0011_0005__its,gen).
arc(r_0011_0007__situation,r_0011_0006__precise,attrib).
arc(r_0011_0008__seemed,r_0011_0010__be,scope).
arc(r_0011_0010__be,r_0011_0001__The_r_0011_0003__reason,arg0).
arc(r_0011_0010__be,r_0011_0011__the_r_0011_0012__crossing,prd).
arc(r_0011_0011__the_r_0011_0012__crossing,r_0011_0014__two_r_0011_0015__footpaths,r_0011_0013__of).
arc(r_0011_0011__the_r_0011_0012__crossing,r_0011_0018__angles,r_0011_0016__at).
arc(r_0011_0011__the_r_0011_0012__crossing,r_0011_0020__by,nim).
arc(r_0011_0018__angles,r_0011_0017__right,attrib).
arc(r_0011_0020__by,r_0011_0019__hard,qual).
arc(r_0011_0023__may,r_0011_0024__have,scope).
arc(r_0011_0024__have,r_0011_0025__crossed,scope).
arc(r_0011_0025__crossed,r_0011_0011__the_r_0011_0012__crossing,arg0).
arc(r_0011_0025__crossed,r_0011_0027__and,nim).
arc(r_0011_0025__crossed,r_0011_0030__a_r_0011_0032__five_r_0011_0033__hundred_r_0011_0034__years,r_0011_0029__for__nim).
arc(r_0011_0027__and,r_0011_0026__there,conj1).
arc(r_0011_0027__and,r_0011_0028__thus,conj2).
arc(r_0011_0030__a_r_0011_0032__five_r_0011_0033__hundred_r_0011_0034__years,r_0011_0031__good,attrib).

fof(formula,axiom,
    ? [R_0011_0002__ONLY,R_0011_0005__ITS,R_0011_0006__PRECISE,R_0011_0007__SITUATION,R_0011_0001__THE_R_0011_0003__REASON,R_0011_0014__TWO_R_0011_0015__FOOTPATHS,R_0011_0017__RIGHT,R_0011_0018__ANGLES,R_0011_0019__HARD,R_0011_0020__BY,R_0011_0011__THE_R_0011_0012__CROSSING,R_0011_0008__SEEMED_R_0011_0010__BE,R_0011_0026__THERE,R_0011_0028__THUS,R_0011_0027__AND,R_0011_0031__GOOD,R_0011_0030__A_R_0011_0032__FIVE_R_0011_0033__HUNDRED_R_0011_0034__YEARS,R_0011_0023__MAY_R_0011_0024__HAVE_R_0011_0025__CROSSED] :
      ( r_0011_0002__only(R_0011_0002__ONLY)
      & r_0011_0005__its(R_0011_0005__ITS)
      & r_0011_0006__precise(R_0011_0006__PRECISE)
      & r_0011_0014__two_r_0011_0015__footpaths(R_0011_0014__TWO_R_0011_0015__FOOTPATHS)
      & r_0011_0017__right(R_0011_0017__RIGHT)
      & r_0011_0019__hard(R_0011_0019__HARD)
      & r_0011_0026__there(R_0011_0026__THERE)
      & r_0011_0028__thus(R_0011_0028__THUS)
      & r_0011_0031__good(R_0011_0031__GOOD)
      & r_0011_0023__may_r_0011_0024__have_r_0011_0025__crossed(R_0011_0023__MAY_R_0011_0024__HAVE_R_0011_0025__CROSSED)
      & has_r_0011_0029__for__nim(R_0011_0023__MAY_R_0011_0024__HAVE_R_0011_0025__CROSSED,R_0011_0030__A_R_0011_0032__FIVE_R_0011_0033__HUNDRED_R_0011_0034__YEARS)
      & r_0011_0030__a_r_0011_0032__five_r_0011_0033__hundred_r_0011_0034__years(R_0011_0030__A_R_0011_0032__FIVE_R_0011_0033__HUNDRED_R_0011_0034__YEARS)
      & has_attrib(R_0011_0030__A_R_0011_0032__FIVE_R_0011_0033__HUNDRED_R_0011_0034__YEARS,R_0011_0031__GOOD)
      & has_nim(R_0011_0023__MAY_R_0011_0024__HAVE_R_0011_0025__CROSSED,R_0011_0027__AND)
      & r_0011_0027__and(R_0011_0027__AND)
      & has_conj2(R_0011_0027__AND,R_0011_0028__THUS)
      & has_conj1(R_0011_0027__AND,R_0011_0026__THERE)
      & has_arg0(R_0011_0023__MAY_R_0011_0024__HAVE_R_0011_0025__CROSSED,R_0011_0011__THE_R_0011_0012__CROSSING)
      & r_0011_0011__the_r_0011_0012__crossing(R_0011_0011__THE_R_0011_0012__CROSSING)
      & has_nim(R_0011_0011__THE_R_0011_0012__CROSSING,R_0011_0020__BY)
      & r_0011_0020__by(R_0011_0020__BY)
      & has_qual(R_0011_0020__BY,R_0011_0019__HARD)
      & has_r_0011_0016__at(R_0011_0011__THE_R_0011_0012__CROSSING,R_0011_0018__ANGLES)
      & r_0011_0018__angles(R_0011_0018__ANGLES)
      & has_attrib(R_0011_0018__ANGLES,R_0011_0017__RIGHT)
      & has_r_0011_0013__of(R_0011_0011__THE_R_0011_0012__CROSSING,R_0011_0014__TWO_R_0011_0015__FOOTPATHS)
      & r_0011_0008__seemed_r_0011_0010__be(R_0011_0008__SEEMED_R_0011_0010__BE)
      & has_prd(R_0011_0008__SEEMED_R_0011_0010__BE,R_0011_0011__THE_R_0011_0012__CROSSING)
      & has_arg0(R_0011_0008__SEEMED_R_0011_0010__BE,R_0011_0001__THE_R_0011_0003__REASON)
      & r_0011_0001__The_r_0011_0003__reason(R_0011_0001__THE_R_0011_0003__REASON)
      & has_r_0011_0004__for(R_0011_0001__THE_R_0011_0003__REASON,R_0011_0007__SITUATION)
      & r_0011_0007__situation(R_0011_0007__SITUATION)
      & has_attrib(R_0011_0007__SITUATION,R_0011_0006__PRECISE)
      & has_gen(R_0011_0007__SITUATION,R_0011_0005__ITS)
      & has_attrib(R_0011_0001__THE_R_0011_0003__REASON,R_0011_0002__ONLY) ) ).