TSPC 3_a_lob

3_a_lob_n01
Now he realised that he was entrusting not only his own life, but Geoffrey's as well, to a strange girl whom he had never met and on whom after no more than a couple of telephone calls he was prepared to place complete reliance.

( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ;{ALASTAIR} (PRO he;{he}))
          (VBD;_Tf_ realised;{realise})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{ALASTAIR} (PRO he;{he}))
                              (BED;_cat_Vg_ was;{be})
                              (IP-PPL-CAT (VAG;_Tn.pr_ entrusting;{entrust[to]})
                                          (NP-OB1 (NLYR (NLYR (ADVP (NEG not;{not})
                                                                    (ADV only;{only}))
                                                              (NP-GEN (NP-GEN;{ALASTAIR} (PRO;_genm_ his;{his}))
                                                                      (ADJP (ADJ own;{own})))
                                                              (N life;{life}))
                                                        (PUNC ,)
                                                        (CONJP (CONJ but;{but})
                                                               (NLYR (NP-GEN;{GEOFFREY} (NPR Geoffrey;{Geoffrey})
                                                                                        (GENM <apos>s))
                                                                     (ADVP (ADV as_well;{as_well}))))))
                                          (PUNC ,)
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (D a;{a})
                                                      (ADJP (ADJ strange;{strange}))
                                                      (N girl;{girl})
                                                      (IP-REL (ILYR (ILYR (NP-167 (RPRO whom;{who}))
                                                                          (NP-SBJ;{ALASTAIR} (PRO he;{he}))
                                                                          (HVD;_cat_Ve_ had;{have})
                                                                          (IP-PPL-CAT (NP-OB1 *ICH*-167)
                                                                                      (ADVP-NIM (ADV never;{never}))
                                                                                      (VVN;_Tn_ met;{meet})))
                                                                    (CONJP (CONJ and;{and})
                                                                           (ILYR (PP-162 (P-ROLE on;{on})
                                                                                         (NP (RPRO whom;{who})))
                                                                                 (PP-NIM (P-ROLE after;{after})
                                                                                         (NP (ADJP (NP (Q;_nphd_ no;{no}))
                                                                                                   (ADJR more;{more})
                                                                                                   (PP (P-ROLE than;{than})
                                                                                                       (NP (D a;{a})
                                                                                                           (N couple;{couple}))))
                                                                                             (PP (P-ROLE of;{of})
                                                                                                 (NP (N telephone;{telephone})
                                                                                                     (NS calls;{call})))))
                                                                                 (NP-SBJ;{ALASTAIR} (PRO he;{he}))
                                                                                 (BED;_cat_VePASS_ was;{be})
                                                                                 (IP-PPL-CAT (NP-LGS *)
                                                                                             (VVN;_Tt_ prepared;{prepare})
                                                                                             (IP-INF-OB1 (TO to;{to})
                                                                                                         (VB;_Tn.pr_ place;{place[on]})
                                                                                                         (NP-OB1 (ADJP (ADJ complete;{complete}))
                                                                                                                 (N reliance;{reliance}))
                                                                                                         (PP-CLR *ICH*-162))))))))))))
          (PUNC .))
  (ID 3_a_lob_n01))

arc(r_0003_0003__realised,r_0003_0001__Now,nim).
arc(r_0003_0003__realised,r_0003_0002__he,arg0).
arc(r_0003_0003__realised,r_0003_0006__was,arg1).
arc(r_0003_0006__was,r_0003_0007__entrusting_r_0003_0019__to,scope).
arc(r_0003_0007__entrusting_r_0003_0019__to,r_0003_0002__he,arg0).
arc(r_0003_0007__entrusting_r_0003_0019__to,r_0003_0014__but,arg1).
arc(r_0003_0007__entrusting_r_0003_0019__to,r_0003_0020__a_r_0003_0022__girl,arg2).
arc(r_0003_0012__life,r_0003_0008__not_r_0003_0009__only,qual).
arc(r_0003_0012__life,z_0003_5036,gen).
arc(r_0003_0014__but,r_0003_0012__life,conj1).
arc(r_0003_0014__but,z_0003_5039,conj2).
arc(r_0003_0020__a_r_0003_0022__girl,r_0003_0021__strange,attrib).
arc(r_0003_0025__had,r_0003_0027__met,scope).
arc(r_0003_0027__met,r_0003_0002__he,arg0).
arc(r_0003_0027__met,r_0003_0020__a_r_0003_0022__girl,arg1).
arc(r_0003_0027__met,r_0003_0026__never,nim).
arc(r_0003_0028__and,r_0003_0025__had,conj1).
arc(r_0003_0028__and,r_0003_0041__was,conj2).
arc(r_0003_0032__no__quant,r_0003_0033__more,scope).
arc(r_0003_0032__no__quant,z_0003_5015,restriction).
arc(r_0003_0033__more,r_0003_0035__a_r_0003_0036__couple,r_0003_0034__than).
arc(r_0003_0033__more,z_0003_5015,nim).
arc(r_0003_0041__was,r_0003_0042__prepared,scope).
arc(r_0003_0041__was,z_0003_5018,r_0003_0031__after__nim).
arc(r_0003_0042__prepared,r_0003_0002__he,arg2).
arc(r_0003_0042__prepared,r_0003_0044__place_r_0003_0029__on,arg1).
arc(r_0003_0042__prepared,z_0003_5025___star_,arg0).
arc(r_0003_0044__place_r_0003_0029__on,r_0003_0002__he,arg0).
arc(r_0003_0044__place_r_0003_0029__on,r_0003_0020__a_r_0003_0022__girl,arg2).
arc(r_0003_0044__place_r_0003_0029__on,r_0003_0046__reliance,arg1).
arc(r_0003_0046__reliance,r_0003_0045__complete,attrib).
arc(z_0003_5018,r_0003_0033__more,attrib).
arc(z_0003_5018,r_0003_0038__telephone_r_0003_0039__calls,r_0003_0037__of).
arc(z_0003_5036,r_0003_0002__he,gen).
arc(z_0003_5036,r_0003_0011__own,attrib).
arc(z_0003_5039,r_0003_0015__Geoffrey,gen).
arc(z_0003_5039,r_0003_0017__as_well,qual).

fof(formula,axiom,
    ? [R_0003_0001__NOW,R_0003_0002__HE,R_0003_0008__NOT_R_0003_0009__ONLY,R_0003_0011__OWN,Z_0003_5036,R_0003_0012__LIFE,R_0003_0015__GEOFFREY,R_0003_0017__AS_WELL,Z_0003_5039,R_0003_0014__BUT,R_0003_0021__STRANGE,R_0003_0020__A_R_0003_0022__GIRL,R_0003_0006__WAS_R_0003_0007__ENTRUSTING_R_0003_0019__TO,R_0003_0003__REALISED,R_0003_0026__NEVER,R_0003_0025__HAD_R_0003_0027__MET,R_0003_0035__A_R_0003_0036__COUPLE,Z_0003_5015,R_0003_0033__MORE,R_0003_0038__TELEPHONE_R_0003_0039__CALLS,Z_0003_5018,R_0003_0045__COMPLETE,R_0003_0046__RELIANCE,R_0003_0044__PLACE_R_0003_0029__ON,Z_0003_5025___STAR_,R_0003_0041__WAS_R_0003_0042__PREPARED,R_0003_0028__AND] :
      ( r_0003_0001__Now(R_0003_0001__NOW)
      & r_0003_0002__he(R_0003_0002__HE)
      & r_0003_0008__not_r_0003_0009__only(R_0003_0008__NOT_R_0003_0009__ONLY)
      & r_0003_0011__own(R_0003_0011__OWN)
      & r_0003_0015__Geoffrey(R_0003_0015__GEOFFREY)
      & r_0003_0017__as_well(R_0003_0017__AS_WELL)
      & r_0003_0021__strange(R_0003_0021__STRANGE)
      & r_0003_0026__never(R_0003_0026__NEVER)
      & r_0003_0035__a_r_0003_0036__couple(R_0003_0035__A_R_0003_0036__COUPLE)
      & r_0003_0038__telephone_r_0003_0039__calls(R_0003_0038__TELEPHONE_R_0003_0039__CALLS)
      & r_0003_0045__complete(R_0003_0045__COMPLETE)
      & z_0003_5015(Z_0003_5015)
      & z_0003_5025___star_(Z_0003_5025___STAR_)
      & ( z_0003_5015(Z_0003_5015)
       => r_0003_0041__was_r_0003_0042__prepared(R_0003_0041__WAS_R_0003_0042__PREPARED) )
      & r_0003_0028__and(R_0003_0028__AND)
      & has_conj2(R_0003_0028__AND,R_0003_0041__WAS_R_0003_0042__PREPARED)
      & r_0003_0041__was_r_0003_0042__prepared(R_0003_0041__WAS_R_0003_0042__PREPARED)
      & has_arg0(R_0003_0041__WAS_R_0003_0042__PREPARED,Z_0003_5025___STAR_)
      & has_arg1(R_0003_0041__WAS_R_0003_0042__PREPARED,R_0003_0044__PLACE_R_0003_0029__ON)
      & r_0003_0044__place_r_0003_0029__on(R_0003_0044__PLACE_R_0003_0029__ON)
      & has_arg1(R_0003_0044__PLACE_R_0003_0029__ON,R_0003_0046__RELIANCE)
      & r_0003_0046__reliance(R_0003_0046__RELIANCE)
      & has_attrib(R_0003_0046__RELIANCE,R_0003_0045__COMPLETE)
      & has_arg2(R_0003_0044__PLACE_R_0003_0029__ON,R_0003_0020__A_R_0003_0022__GIRL)
      & r_0003_0020__a_r_0003_0022__girl(R_0003_0020__A_R_0003_0022__GIRL)
      & has_attrib(R_0003_0020__A_R_0003_0022__GIRL,R_0003_0021__STRANGE)
      & has_arg0(R_0003_0044__PLACE_R_0003_0029__ON,R_0003_0002__HE)
      & has_arg2(R_0003_0041__WAS_R_0003_0042__PREPARED,R_0003_0002__HE)
      & has_r_0003_0031__after__nim(R_0003_0041__WAS_R_0003_0042__PREPARED,Z_0003_5018)
      & z_0003_5018(Z_0003_5018)
      & has_r_0003_0037__of(Z_0003_5018,R_0003_0038__TELEPHONE_R_0003_0039__CALLS)
      & has_attrib(Z_0003_5018,R_0003_0033__MORE)
      & r_0003_0033__more(R_0003_0033__MORE)
      & has_nim(R_0003_0033__MORE,Z_0003_5015)
      & has_r_0003_0034__than(R_0003_0033__MORE,R_0003_0035__A_R_0003_0036__COUPLE)
      & has_conj1(R_0003_0028__AND,R_0003_0025__HAD_R_0003_0027__MET)
      & r_0003_0025__had_r_0003_0027__met(R_0003_0025__HAD_R_0003_0027__MET)
      & has_nim(R_0003_0025__HAD_R_0003_0027__MET,R_0003_0026__NEVER)
      & has_arg1(R_0003_0025__HAD_R_0003_0027__MET,R_0003_0020__A_R_0003_0022__GIRL)
      & has_arg0(R_0003_0025__HAD_R_0003_0027__MET,R_0003_0002__HE)
      & r_0003_0003__realised(R_0003_0003__REALISED)
      & has_arg1(R_0003_0003__REALISED,R_0003_0006__WAS_R_0003_0007__ENTRUSTING_R_0003_0019__TO)
      & r_0003_0006__was_r_0003_0007__entrusting_r_0003_0019__to(R_0003_0006__WAS_R_0003_0007__ENTRUSTING_R_0003_0019__TO)
      & has_arg2(R_0003_0006__WAS_R_0003_0007__ENTRUSTING_R_0003_0019__TO,R_0003_0020__A_R_0003_0022__GIRL)
      & has_arg1(R_0003_0006__WAS_R_0003_0007__ENTRUSTING_R_0003_0019__TO,R_0003_0014__BUT)
      & r_0003_0014__but(R_0003_0014__BUT)
      & has_conj2(R_0003_0014__BUT,Z_0003_5039)
      & z_0003_5039(Z_0003_5039)
      & has_qual(Z_0003_5039,R_0003_0017__AS_WELL)
      & has_gen(Z_0003_5039,R_0003_0015__GEOFFREY)
      & has_conj1(R_0003_0014__BUT,R_0003_0012__LIFE)
      & r_0003_0012__life(R_0003_0012__LIFE)
      & has_gen(R_0003_0012__LIFE,Z_0003_5036)
      & z_0003_5036(Z_0003_5036)
      & has_attrib(Z_0003_5036,R_0003_0011__OWN)
      & has_gen(Z_0003_5036,R_0003_0002__HE)
      & has_qual(R_0003_0012__LIFE,R_0003_0008__NOT_R_0003_0009__ONLY)
      & has_arg0(R_0003_0006__WAS_R_0003_0007__ENTRUSTING_R_0003_0019__TO,R_0003_0002__HE)
      & has_arg0(R_0003_0003__REALISED,R_0003_0002__HE)
      & has_nim(R_0003_0003__REALISED,R_0003_0001__NOW) ) ).