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.

arc(r_0003_0003__realised, r_0003_0001__Now, nim2).
arc(r_0003_0003__realised, r_0003_0002__he, arg0).
arc(r_0003_0003__realised, r_0003_0004__that_r_0003_0006__was, arg1).
arc(r_0003_0004__that_r_0003_0006__was, r_0003_0007__entrusting, scope).
arc(r_0003_0007__entrusting, r_0003_0002__he, arg0).
arc(r_0003_0007__entrusting, r_0003_0014__but, arg1).
arc(r_0003_0007__entrusting, r_0003_0020__a_r_0003_0022__girl, r_0003_0019__to_clr58).
arc(r_0003_0012__life, r_0003_0008__not_r_0003_0009__only, qual25).
arc(r_0003_0012__life, z_000_3_a_lob_n01_30, gen).
arc(r_0003_0014__but, r_0003_0012__life, conj1).
arc(r_0003_0014__but, z_000_3_a_lob_n01_44, conj2).
arc(r_0003_0020__a_r_0003_0022__girl, r_0003_0021__strange, attrib61).
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, nim80).
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_000_3_a_lob_n01_100, restriction).
arc(r_0003_0033__more, r_0003_0035__a_r_0003_0036__couple, r_0003_0034__than).
arc(r_0003_0033__more, z_000_3_a_lob_n01_100, nim100).
arc(r_0003_0041__was, r_0003_0042__prepared, scope).
arc(r_0003_0041__was, z_000_3_a_lob_n01_98, r_0003_0031__after_nim98).
arc(r_0003_0042__prepared, r_0003_0002__he, arg2).
arc(r_0003_0042__prepared, r_0003_0043__to_r_0003_0044__place, arg1).
arc(r_0003_0042__prepared, z_000_3_a_lob_n01_127, arg0).
arc(r_0003_0043__to_r_0003_0044__place, r_0003_0002__he, arg0).
arc(r_0003_0043__to_r_0003_0044__place, r_0003_0020__a_r_0003_0022__girl, r_0003_0029__on_clr92).
arc(r_0003_0043__to_r_0003_0044__place, r_0003_0046__reliance, arg1).
arc(r_0003_0046__reliance, r_0003_0045__complete, attrib137).
arc(z_000_3_a_lob_n01_30, r_0003_0002__he, gen).
arc(z_000_3_a_lob_n01_30, r_0003_0011__own, attrib34).
arc(z_000_3_a_lob_n01_44, r_0003_0015__Geoffrey_r_0003_0016___apos_s, gen).
arc(z_000_3_a_lob_n01_44, r_0003_0017__as_well, qual50).
arc(z_000_3_a_lob_n01_98, r_0003_0033__more, attrib99).
arc(z_000_3_a_lob_n01_98, r_0003_0038__telephone_r_0003_0039__calls, r_0003_0037__of).

fof(formula,axiom,
    ? [R_0003_0001__NOW,R_0003_0002__HE,R_0003_0008__NOT_R_0003_0009__ONLY,R_0003_0011__OWN,Z_000_3_A_LOB_N01_30,R_0003_0012__LIFE,R_0003_0015__GEOFFREY_R_0003_0016___APOS_S,R_0003_0017__AS_WELL,Z_000_3_A_LOB_N01_44,R_0003_0014__BUT,R_0003_0021__STRANGE,R_0003_0020__A_R_0003_0022__GIRL,R_0003_0004__THAT_R_0003_0006__WAS_R_0003_0007__ENTRUSTING,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_000_3_A_LOB_N01_100,R_0003_0033__MORE,R_0003_0038__TELEPHONE_R_0003_0039__CALLS,Z_000_3_A_LOB_N01_98,R_0003_0045__COMPLETE,R_0003_0046__RELIANCE,R_0003_0043__TO_R_0003_0044__PLACE,Z_000_3_A_LOB_N01_127,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_0016___apos_s(R_0003_0015__GEOFFREY_R_0003_0016___APOS_S)
      & 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_000_3_a_lob_n01_100(Z_000_3_A_LOB_N01_100)
      & z_000_3_a_lob_n01_127(Z_000_3_A_LOB_N01_127)
      & ( z_000_3_a_lob_n01_100(Z_000_3_A_LOB_N01_100)
       => 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_000_3_A_LOB_N01_127)
      & has_arg1(R_0003_0041__WAS_R_0003_0042__PREPARED,R_0003_0043__TO_R_0003_0044__PLACE)
      & r_0003_0043__to_r_0003_0044__place(R_0003_0043__TO_R_0003_0044__PLACE)
      & has_arg1(R_0003_0043__TO_R_0003_0044__PLACE,R_0003_0046__RELIANCE)
      & r_0003_0046__reliance(R_0003_0046__RELIANCE)
      & has_attrib137(R_0003_0046__RELIANCE,R_0003_0045__COMPLETE)
      & has_r_0003_0029__on_clr92(R_0003_0043__TO_R_0003_0044__PLACE,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_attrib61(R_0003_0020__A_R_0003_0022__GIRL,R_0003_0021__STRANGE)
      & has_arg0(R_0003_0043__TO_R_0003_0044__PLACE,R_0003_0002__HE)
      & has_arg2(R_0003_0041__WAS_R_0003_0042__PREPARED,R_0003_0002__HE)
      & has_r_0003_0031__after_nim98(R_0003_0041__WAS_R_0003_0042__PREPARED,Z_000_3_A_LOB_N01_98)
      & z_000_3_a_lob_n01_98(Z_000_3_A_LOB_N01_98)
      & has_r_0003_0037__of(Z_000_3_A_LOB_N01_98,R_0003_0038__TELEPHONE_R_0003_0039__CALLS)
      & has_attrib99(Z_000_3_A_LOB_N01_98,R_0003_0033__MORE)
      & r_0003_0033__more(R_0003_0033__MORE)
      & has_nim100(R_0003_0033__MORE,Z_000_3_A_LOB_N01_100)
      & 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_nim80(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_0004__THAT_R_0003_0006__WAS_R_0003_0007__ENTRUSTING)
      & r_0003_0004__that_r_0003_0006__was_r_0003_0007__entrusting(R_0003_0004__THAT_R_0003_0006__WAS_R_0003_0007__ENTRUSTING)
      & has_r_0003_0019__to_clr58(R_0003_0004__THAT_R_0003_0006__WAS_R_0003_0007__ENTRUSTING,R_0003_0020__A_R_0003_0022__GIRL)
      & has_arg1(R_0003_0004__THAT_R_0003_0006__WAS_R_0003_0007__ENTRUSTING,R_0003_0014__BUT)
      & r_0003_0014__but(R_0003_0014__BUT)
      & has_conj2(R_0003_0014__BUT,Z_000_3_A_LOB_N01_44)
      & z_000_3_a_lob_n01_44(Z_000_3_A_LOB_N01_44)
      & has_qual50(Z_000_3_A_LOB_N01_44,R_0003_0017__AS_WELL)
      & has_gen(Z_000_3_A_LOB_N01_44,R_0003_0015__GEOFFREY_R_0003_0016___APOS_S)
      & 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_000_3_A_LOB_N01_30)
      & z_000_3_a_lob_n01_30(Z_000_3_A_LOB_N01_30)
      & has_attrib34(Z_000_3_A_LOB_N01_30,R_0003_0011__OWN)
      & has_gen(Z_000_3_A_LOB_N01_30,R_0003_0002__HE)
      & has_qual25(R_0003_0012__LIFE,R_0003_0008__NOT_R_0003_0009__ONLY)
      & has_arg0(R_0003_0004__THAT_R_0003_0006__WAS_R_0003_0007__ENTRUSTING,R_0003_0002__HE)
      & has_arg0(R_0003_0003__REALISED,R_0003_0002__HE)
      & has_nim2(R_0003_0003__REALISED,R_0003_0001__NOW) ) ).

( (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))