TSPC 46_a_lob

46_a_lob_n01
He was able to trace the course of the river; he thought he could recognise the route of N12, along which he had motored so desperately little more than twenty-four hours earlier.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{GEOFFREY} (PRO He;{he}))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADJ;_cat_ able;{able})
                                (IP-INF (TO to;{to})
                                        (VB;_Tn_ trace;{trace})
                                        (NP-OB1 (D the;{the})
                                                (N course;{course})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (N river;{river})))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{GEOFFREY} (PRO he;{he}))
                             (VBD;_Tf_ thought;{think})
                             (CP-THT-OB1 (IP-SUB (NP-SBJ;{GEOFFREY} (PRO he;{he}))
                                                 (MD;_cat_Vi_ could;{can})
                                                 (IP-INF-CAT (VB;_Tn_ recognise;{recognise})
                                                             (NP-OB1 (D the;{the})
                                                                     (N route;{route})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (NPR N12;{N12})))
                                                                     (PUNC ,)
                                                                     (IP-REL (PP-120 (P-ROLE along;{along})
                                                                                     (NP (RPRO which;{which})))
                                                                             (NP-SBJ;{GEOFFREY} (PRO he;{he}))
                                                                             (HVD;_cat_Ve_ had;{have})
                                                                             (IP-PPL-CAT (PP-NIM *ICH*-120)
                                                                                         (VVN;_I_ motored;{motor})
                                                                                         (ADVP-NIM (ADVP (ADV so;{so}))
                                                                                                   (ADV desperately;{desperately}))
                                                                                         (ADVP-NIM (NP (ADJP (ADVP (ADV little;{little}))
                                                                                                             (ADJR more;{more})
                                                                                                             (PP (P-ROLE than;{than})
                                                                                                                 (NP (NUM twenty_<hyphen>_four;{twenty_four})
                                                                                                                     (NS hours;{hour})))))
                                                                                                   (ADVR earlier;{early})))))))))))
          (PUNC .))
  (ID 46_a_lob_n01))

arc(r_0046_0002__was,r_0046_0003__able,scope).
arc(r_0046_0003__able,r_0046_0005__trace,scope).
arc(r_0046_0005__trace,r_0046_0001__He,arg0).
arc(r_0046_0005__trace,r_0046_0006__the_r_0046_0007__course,arg1).
arc(r_0046_0006__the_r_0046_0007__course,r_0046_0009__the_r_0046_0010__river,r_0046_0008__of).
arc(r_0046_0013__thought,r_0046_0001__He,arg0).
arc(r_0046_0013__thought,r_0046_0015__could,arg1).
arc(r_0046_0015__could,r_0046_0016__recognise,scope).
arc(r_0046_0016__recognise,r_0046_0001__He,arg0).
arc(r_0046_0016__recognise,r_0046_0017__the_r_0046_0018__route,arg1).
arc(r_0046_0017__the_r_0046_0018__route,r_0046_0020__N12,r_0046_0019__of).
arc(r_0046_0025__had,r_0046_0026__motored,scope).
arc(r_0046_0026__motored,r_0046_0001__He,arg0).
arc(r_0046_0026__motored,r_0046_0017__the_r_0046_0018__route,r_0046_0022__along__nim).
arc(r_0046_0026__motored,r_0046_0028__desperately,nim).
arc(r_0046_0026__motored,r_0046_0034__earlier,nim).
arc(r_0046_0028__desperately,r_0046_0027__so,qual).
arc(r_0046_0030__more,r_0046_0029__little,qual).
arc(r_0046_0030__more,r_0046_0032__twenty__hyphen__four_r_0046_0033__hours,r_0046_0031__than).
arc(r_0046_0034__earlier,z_0046_5021,nim).
arc(z_0046_5001,r_0046_0002__was,conj1).
arc(z_0046_5001,r_0046_0013__thought,conj2).
arc(z_0046_5021,r_0046_0030__more,attrib).

fof(formula,axiom,
    ? [R_0046_0001__HE,R_0046_0020__N12,R_0046_0017__THE_R_0046_0018__ROUTE,R_0046_0027__SO,R_0046_0028__DESPERATELY,R_0046_0029__LITTLE,R_0046_0032__TWENTY__HYPHEN__FOUR_R_0046_0033__HOURS,R_0046_0030__MORE,Z_0046_5021,R_0046_0034__EARLIER,R_0046_0025__HAD_R_0046_0026__MOTORED,R_0046_0009__THE_R_0046_0010__RIVER,R_0046_0006__THE_R_0046_0007__COURSE,R_0046_0002__WAS_R_0046_0003__ABLE_R_0046_0005__TRACE,R_0046_0015__COULD_R_0046_0016__RECOGNISE,R_0046_0013__THOUGHT,Z_0046_5001] :
      ( r_0046_0001__He(R_0046_0001__HE)
      & r_0046_0009__the_r_0046_0010__river(R_0046_0009__THE_R_0046_0010__RIVER)
      & r_0046_0020__N12(R_0046_0020__N12)
      & r_0046_0027__so(R_0046_0027__SO)
      & r_0046_0029__little(R_0046_0029__LITTLE)
      & r_0046_0032__twenty__hyphen__four_r_0046_0033__hours(R_0046_0032__TWENTY__HYPHEN__FOUR_R_0046_0033__HOURS)
      & z_0046_5001(Z_0046_5001)
      & has_conj2(Z_0046_5001,R_0046_0013__THOUGHT)
      & r_0046_0013__thought(R_0046_0013__THOUGHT)
      & has_arg1(R_0046_0013__THOUGHT,R_0046_0015__COULD_R_0046_0016__RECOGNISE)
      & r_0046_0015__could_r_0046_0016__recognise(R_0046_0015__COULD_R_0046_0016__RECOGNISE)
      & has_arg1(R_0046_0015__COULD_R_0046_0016__RECOGNISE,R_0046_0017__THE_R_0046_0018__ROUTE)
      & r_0046_0017__the_r_0046_0018__route(R_0046_0017__THE_R_0046_0018__ROUTE)
      & has_r_0046_0019__of(R_0046_0017__THE_R_0046_0018__ROUTE,R_0046_0020__N12)
      & has_arg0(R_0046_0015__COULD_R_0046_0016__RECOGNISE,R_0046_0001__HE)
      & has_arg0(R_0046_0013__THOUGHT,R_0046_0001__HE)
      & has_conj1(Z_0046_5001,R_0046_0002__WAS_R_0046_0003__ABLE_R_0046_0005__TRACE)
      & r_0046_0002__was_r_0046_0003__able_r_0046_0005__trace(R_0046_0002__WAS_R_0046_0003__ABLE_R_0046_0005__TRACE)
      & has_arg1(R_0046_0002__WAS_R_0046_0003__ABLE_R_0046_0005__TRACE,R_0046_0006__THE_R_0046_0007__COURSE)
      & r_0046_0006__the_r_0046_0007__course(R_0046_0006__THE_R_0046_0007__COURSE)
      & has_r_0046_0008__of(R_0046_0006__THE_R_0046_0007__COURSE,R_0046_0009__THE_R_0046_0010__RIVER)
      & has_arg0(R_0046_0002__WAS_R_0046_0003__ABLE_R_0046_0005__TRACE,R_0046_0001__HE)
      & r_0046_0025__had_r_0046_0026__motored(R_0046_0025__HAD_R_0046_0026__MOTORED)
      & has_nim(R_0046_0025__HAD_R_0046_0026__MOTORED,R_0046_0034__EARLIER)
      & r_0046_0034__earlier(R_0046_0034__EARLIER)
      & has_nim(R_0046_0034__EARLIER,Z_0046_5021)
      & z_0046_5021(Z_0046_5021)
      & has_attrib(Z_0046_5021,R_0046_0030__MORE)
      & r_0046_0030__more(R_0046_0030__MORE)
      & has_r_0046_0031__than(R_0046_0030__MORE,R_0046_0032__TWENTY__HYPHEN__FOUR_R_0046_0033__HOURS)
      & has_qual(R_0046_0030__MORE,R_0046_0029__LITTLE)
      & has_nim(R_0046_0025__HAD_R_0046_0026__MOTORED,R_0046_0028__DESPERATELY)
      & r_0046_0028__desperately(R_0046_0028__DESPERATELY)
      & has_qual(R_0046_0028__DESPERATELY,R_0046_0027__SO)
      & has_r_0046_0022__along__nim(R_0046_0025__HAD_R_0046_0026__MOTORED,R_0046_0017__THE_R_0046_0018__ROUTE)
      & has_arg0(R_0046_0025__HAD_R_0046_0026__MOTORED,R_0046_0001__HE) ) ).