TSPC 71_a_lob

71_a_lob_n01
Far better to adhere to the one course which in the light of his present knowledge seemed most probable, while at the same time keeping keenly alert for any additional information which might prove to be of help.

( (IP-MAT (ADJP-PRD (ADVP (ADV Far;{far}))
                    (ADJR;_cat_ better;{good})
                    (IP-INF (TO to;{to})
                            (VB;__ adhere;{adhere})
                            (PP-CLR (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (NUM one;{one})
                                        (N course;{course})
                                        (IP-REL (NP-SBJ (RPRO which;{which}))
                                                (PP-NIM (P-ROLE in;{in})
                                                        (NP (D the;{the})
                                                            (N light;{light})
                                                            (PP (P-ROLE of;{of})
                                                                (NP (NP-GEN;{GEOFFREY} (PRO;_genm_ his;{his}))
                                                                    (ADJP (ADJ present;{present}))
                                                                    (N knowledge;{knowledge})))))
                                                (VBD;_La_ seemed;{seem})
                                                (ADJP-PRD (ADVP (ADVS most;{most}))
                                                          (ADJ probable;{probable})))))))
          (PUNC ,)
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL3 (PP-NIM (P-ROLE at;{at})
                                    (NP (D the;{the})
                                        (ADJP (ADJ same;{same}))
                                        (N time;{time})))
                            (VAG;__ keeping;{keep})
                            (ADJP-PRD (ADVP (ADV keenly;{keenly}))
                                      (ADJ alert;{alert})
                                      (PP (P-ROLE for;{for})
                                          (NP (D any;{any})
                                              (ADJP (ADJ additional;{additional}))
                                              (N information;{information})
                                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                                      (MD;_cat_Vi_ might;{may})
                                                      (IP-INF-CAT (VB;__ prove;{prove})
                                                                  (IP-INF-OB1 (TO to;{to})
                                                                              (BE;_Ipr_ be;{be[of]})
                                                                              (PP-CLR (P-ROLE of;{of})
                                                                                      (NP (N help;{help})))))))))))
          (PUNC .))
  (ID 71_a_lob_n01))

arc(r_0071_0002__better,r_0071_0001__Far,qual).
arc(r_0071_0002__better,r_0071_0004__adhere,emb).
arc(r_0071_0004__adhere,r_0071_0006__the_r_0071_0007__one_r_0071_0008__course,r_0071_0005__to__clr).
arc(r_0071_0004__adhere,z_0071_5023,arg0).
arc(r_0071_0011__the_r_0071_0012__light,r_0071_0016__knowledge,r_0071_0013__of).
arc(r_0071_0016__knowledge,r_0071_0014__his,gen).
arc(r_0071_0016__knowledge,r_0071_0015__present,attrib).
arc(r_0071_0017__seemed,r_0071_0006__the_r_0071_0007__one_r_0071_0008__course,arg0).
arc(r_0071_0017__seemed,r_0071_0011__the_r_0071_0012__light,r_0071_0010__in__nim).
arc(r_0071_0017__seemed,r_0071_0019__probable,prd).
arc(r_0071_0019__probable,r_0071_0018__most,qual).
arc(r_0071_0021__while,r_0071_0026__keeping,restriction).
arc(r_0071_0021__while,z_0071_5032,scope).
arc(r_0071_0023__the_r_0071_0025__time,r_0071_0024__same,attrib).
arc(r_0071_0026__keeping,r_0071_0023__the_r_0071_0025__time,r_0071_0022__at__nim).
arc(r_0071_0026__keeping,r_0071_0028__alert,prd).
arc(r_0071_0026__keeping,z_0071_5005,arg0).
arc(r_0071_0028__alert,r_0071_0027__keenly,qual).
arc(r_0071_0028__alert,r_0071_0030__any_r_0071_0032__information,r_0071_0029__for).
arc(r_0071_0030__any_r_0071_0032__information,r_0071_0031__additional,attrib).
arc(r_0071_0034__might,r_0071_0035__prove,scope).
arc(r_0071_0035__prove,r_0071_0030__any_r_0071_0032__information,arg0).
arc(r_0071_0035__prove,r_0071_0037__be_r_0071_0038__of,arg1).
arc(r_0071_0037__be_r_0071_0038__of,r_0071_0030__any_r_0071_0032__information,arg0).
arc(r_0071_0037__be_r_0071_0038__of,r_0071_0039__help,arg1).
arc(z_0071_5032,r_0071_0002__better,prd).
arc(z_0071_5032,z_0071_5002,arg0).

fof(formula,axiom,
    ? [R_0071_0006__THE_R_0071_0007__ONE_R_0071_0008__COURSE,R_0071_0014__HIS,R_0071_0015__PRESENT,R_0071_0016__KNOWLEDGE,R_0071_0011__THE_R_0071_0012__LIGHT,R_0071_0018__MOST,R_0071_0019__PROBABLE,R_0071_0017__SEEMED,R_0071_0024__SAME,R_0071_0023__THE_R_0071_0025__TIME,R_0071_0027__KEENLY,R_0071_0031__ADDITIONAL,R_0071_0030__ANY_R_0071_0032__INFORMATION,R_0071_0028__ALERT,Z_0071_5005,R_0071_0026__KEEPING,R_0071_0001__FAR,Z_0071_5023,R_0071_0004__ADHERE,R_0071_0002__BETTER,Z_0071_5002,Z_0071_5032,R_0071_0021__WHILE,R_0071_0039__HELP,R_0071_0037__BE_R_0071_0038__OF,R_0071_0034__MIGHT_R_0071_0035__PROVE] :
      ( r_0071_0001__Far(R_0071_0001__FAR)
      & r_0071_0006__the_r_0071_0007__one_r_0071_0008__course(R_0071_0006__THE_R_0071_0007__ONE_R_0071_0008__COURSE)
      & r_0071_0014__his(R_0071_0014__HIS)
      & r_0071_0015__present(R_0071_0015__PRESENT)
      & r_0071_0018__most(R_0071_0018__MOST)
      & r_0071_0024__same(R_0071_0024__SAME)
      & r_0071_0027__keenly(R_0071_0027__KEENLY)
      & r_0071_0031__additional(R_0071_0031__ADDITIONAL)
      & r_0071_0039__help(R_0071_0039__HELP)
      & z_0071_5002(Z_0071_5002)
      & z_0071_5005(Z_0071_5005)
      & z_0071_5023(Z_0071_5023)
      & r_0071_0034__might_r_0071_0035__prove(R_0071_0034__MIGHT_R_0071_0035__PROVE)
      & has_arg1(R_0071_0034__MIGHT_R_0071_0035__PROVE,R_0071_0037__BE_R_0071_0038__OF)
      & r_0071_0037__be_r_0071_0038__of(R_0071_0037__BE_R_0071_0038__OF)
      & has_arg1(R_0071_0037__BE_R_0071_0038__OF,R_0071_0039__HELP)
      & has_arg0(R_0071_0037__BE_R_0071_0038__OF,R_0071_0030__ANY_R_0071_0032__INFORMATION)
      & r_0071_0030__any_r_0071_0032__information(R_0071_0030__ANY_R_0071_0032__INFORMATION)
      & has_attrib(R_0071_0030__ANY_R_0071_0032__INFORMATION,R_0071_0031__ADDITIONAL)
      & has_arg0(R_0071_0034__MIGHT_R_0071_0035__PROVE,R_0071_0030__ANY_R_0071_0032__INFORMATION)
      & r_0071_0021__while(R_0071_0021__WHILE)
      & has_conj2(R_0071_0021__WHILE,Z_0071_5032)
      & z_0071_5032(Z_0071_5032)
      & has_arg0(Z_0071_5032,Z_0071_5002)
      & has_prd(Z_0071_5032,R_0071_0002__BETTER)
      & r_0071_0002__better(R_0071_0002__BETTER)
      & has_emb(R_0071_0002__BETTER,R_0071_0004__ADHERE)
      & r_0071_0004__adhere(R_0071_0004__ADHERE)
      & has_arg0(R_0071_0004__ADHERE,Z_0071_5023)
      & has_r_0071_0005__to__clr(R_0071_0004__ADHERE,R_0071_0006__THE_R_0071_0007__ONE_R_0071_0008__COURSE)
      & has_qual(R_0071_0002__BETTER,R_0071_0001__FAR)
      & has_conj1(R_0071_0021__WHILE,R_0071_0026__KEEPING)
      & r_0071_0026__keeping(R_0071_0026__KEEPING)
      & has_arg0(R_0071_0026__KEEPING,Z_0071_5005)
      & has_prd(R_0071_0026__KEEPING,R_0071_0028__ALERT)
      & r_0071_0028__alert(R_0071_0028__ALERT)
      & has_r_0071_0029__for(R_0071_0028__ALERT,R_0071_0030__ANY_R_0071_0032__INFORMATION)
      & has_qual(R_0071_0028__ALERT,R_0071_0027__KEENLY)
      & has_r_0071_0022__at__nim(R_0071_0026__KEEPING,R_0071_0023__THE_R_0071_0025__TIME)
      & r_0071_0023__the_r_0071_0025__time(R_0071_0023__THE_R_0071_0025__TIME)
      & has_attrib(R_0071_0023__THE_R_0071_0025__TIME,R_0071_0024__SAME)
      & r_0071_0017__seemed(R_0071_0017__SEEMED)
      & has_prd(R_0071_0017__SEEMED,R_0071_0019__PROBABLE)
      & r_0071_0019__probable(R_0071_0019__PROBABLE)
      & has_qual(R_0071_0019__PROBABLE,R_0071_0018__MOST)
      & has_r_0071_0010__in__nim(R_0071_0017__SEEMED,R_0071_0011__THE_R_0071_0012__LIGHT)
      & r_0071_0011__the_r_0071_0012__light(R_0071_0011__THE_R_0071_0012__LIGHT)
      & has_r_0071_0013__of(R_0071_0011__THE_R_0071_0012__LIGHT,R_0071_0016__KNOWLEDGE)
      & r_0071_0016__knowledge(R_0071_0016__KNOWLEDGE)
      & has_attrib(R_0071_0016__KNOWLEDGE,R_0071_0015__PRESENT)
      & has_gen(R_0071_0016__KNOWLEDGE,R_0071_0014__HIS)
      & has_arg0(R_0071_0017__SEEMED,R_0071_0006__THE_R_0071_0007__ONE_R_0071_0008__COURSE) ) ).