TSPC 47_a_lob

47_a_lob_n01
Since then he had flown to England, attended the vital conference in Bruce Denton's office, been whisked by special helicopter from the Horse Guards Parade to Boscombe Down, slept for six blessed refreshing hours and had now completed two-thirds of the journey back to the place where every indication pointed to Eve being held.

( (IP-MAT (PP-NIM (P-ROLE Since;{since})
                  (ADVP (ADV then;{then})))
          (NP-SBJ;{GEOFFREY} (PRO he;{he}))
          (ILYR (ILYR (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (ILYR (ILYR (VVN;__ flown;{fly})
                                              (PP-NIM (P-ROLE to;{to})
                                                      (NP (NPR England;{England}))))
                                        (PUNC ,)
                                        (CONJP (ILYR (VVN;_Tn_ attended;{attend})
                                                     (NP-OB1 (D the;{the})
                                                             (ADJP (ADJ vital;{vital}))
                                                             (N conference;{conference})
                                                             (PP (P-ROLE in;{in})
                                                                 (NP (NP-GEN (NPR Bruce;{Bruce})
                                                                             (NPR Denton;{Denton})
                                                                             (GENM <apos>s))
                                                                     (N office;{office}))))))
                                        (PUNC ,)
                                        (CONJP (ILYR (BEN;_La_ been;{be})
                                                     (ADJP-PRD (ADJ whisked;{whisked})
                                                               (PP (P-ROLE by;{by})
                                                                   (NP (ADJP (ADJ special;{special}))
                                                                       (N helicopter;{helicopter})))
                                                               (PP (P-ROLE from;{from})
                                                                   (NP (D the;{the})
                                                                       (N Horse;{horse})
                                                                       (NPR Guards;{Guards})
                                                                       (NPR Parade;{Parade})))
                                                               (PP (P-ROLE to;{to})
                                                                   (NP (NPR Boscombe;{Boscombe})
                                                                       (NPR Down;{Down}))))))
                                        (PUNC ,)
                                        (CONJP (ILYR (VVN;__ slept;{sleep})
                                                     (PP-NIM (P-ROLE for;{for})
                                                             (NP (NUM six;{six})
                                                                 (ADJP (ADVP (ADV blessed;{blessed}))
                                                                       (ADJ refreshing;{refreshing}))
                                                                 (NS hours;{hour}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (ADVP-NIM (ADV now;{now}))
                                         (VVN;__ completed;{complete})
                                         (NP-OB1 (NS two_<hyphen>_thirds;{two_thirds})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (D the;{the})
                                                         (N journey;{journey}))))
                                         (ADVP-NIM (ADV back;{back})
                                                   (PP (P-ROLE to;{to})
                                                       (NP (D the;{the})
                                                           (N place;{place})
                                                           (IP-REL (ADVP-NIM (RADV where;{where}))
                                                                   (NP-SBJ (Q every;{every})
                                                                           (N indication;{indication}))
                                                                   (VBD;_Ipr_ pointed;{point[to]})
                                                                   (PP-CLR (P-ROLE to;{to})
                                                                           (IP-PPL3 (NP-SBJ (NPR Eve;{Eve}))
                                                                                    (BAG;_cat_VePASS_ being;{be})
                                                                                    (IP-PPL-CAT (NP-LGS *)
                                                                                                (VVN;_Tn_ held;{hold}))))))))))))
          (PUNC .))
  (ID 47_a_lob_n01))

arc(r_0047_0004__had,r_0047_0002__then,r_0047_0001__Since__nim).
arc(r_0047_0004__had,z_0047_5003,scope).
arc(r_0047_0005__flown,r_0047_0003__he,arg0).
arc(r_0047_0005__flown,r_0047_0007__England,r_0047_0006__to__nim).
arc(r_0047_0009__attended,r_0047_0003__he,arg0).
arc(r_0047_0009__attended,r_0047_0010__the_r_0047_0012__conference,arg1).
arc(r_0047_0010__the_r_0047_0012__conference,r_0047_0011__vital,attrib).
arc(r_0047_0010__the_r_0047_0012__conference,r_0047_0017__office,r_0047_0013__in).
arc(r_0047_0017__office,r_0047_0014__Bruce_r_0047_0015__Denton,gen).
arc(r_0047_0019__been,r_0047_0003__he,arg0).
arc(r_0047_0019__been,r_0047_0020__whisked,prd).
arc(r_0047_0020__whisked,r_0047_0023__helicopter,r_0047_0021__by).
arc(r_0047_0020__whisked,r_0047_0025__the_r_0047_0026__Horse_r_0047_0027__Guards_r_0047_0028__Parade,r_0047_0024__from).
arc(r_0047_0020__whisked,r_0047_0030__Boscombe_r_0047_0031__Down,r_0047_0029__to).
arc(r_0047_0023__helicopter,r_0047_0022__special,attrib).
arc(r_0047_0033__slept,r_0047_0003__he,arg0).
arc(r_0047_0033__slept,r_0047_0035__six_r_0047_0038__hours,r_0047_0034__for__nim).
arc(r_0047_0035__six_r_0047_0038__hours,r_0047_0037__refreshing,attrib).
arc(r_0047_0037__refreshing,r_0047_0036__blessed,qual).
arc(r_0047_0039__and,r_0047_0004__had,conj1).
arc(r_0047_0039__and,r_0047_0040__had,conj2).
arc(r_0047_0040__had,r_0047_0002__then,r_0047_0001__Since__nim).
arc(r_0047_0040__had,r_0047_0042__completed,scope).
arc(r_0047_0042__completed,r_0047_0003__he,arg0).
arc(r_0047_0042__completed,r_0047_0041__now,nim).
arc(r_0047_0042__completed,r_0047_0043__two__hyphen__thirds,arg1).
arc(r_0047_0042__completed,r_0047_0047__back,nim).
arc(r_0047_0043__two__hyphen__thirds,r_0047_0045__the_r_0047_0046__journey,r_0047_0044__of).
arc(r_0047_0047__back,r_0047_0049__the_r_0047_0050__place,r_0047_0048__to).
arc(r_0047_0052__every__quant,r_0047_0053__indication,restriction).
arc(r_0047_0052__every__quant,r_0047_0054__pointed,scope).
arc(r_0047_0054__pointed,r_0047_0049__the_r_0047_0050__place,nim).
arc(r_0047_0054__pointed,r_0047_0053__indication,arg0).
arc(r_0047_0054__pointed,r_0047_0057__being,r_0047_0055__to__clr).
arc(r_0047_0057__being,r_0047_0058__held,scope).
arc(r_0047_0058__held,r_0047_0056__Eve,arg1).
arc(r_0047_0058__held,z_0047_5028___star_,arg0).
arc(z_0047_5003,r_0047_0005__flown,conj1).
arc(z_0047_5003,r_0047_0009__attended,conj2).
arc(z_0047_5003,r_0047_0019__been,conj3).
arc(z_0047_5003,r_0047_0033__slept,conj4).

fof(formula,axiom,
    ? [R_0047_0002__THEN,R_0047_0003__HE,R_0047_0007__ENGLAND,R_0047_0005__FLOWN,R_0047_0011__VITAL,R_0047_0014__BRUCE_R_0047_0015__DENTON,R_0047_0017__OFFICE,R_0047_0010__THE_R_0047_0012__CONFERENCE,R_0047_0009__ATTENDED,R_0047_0022__SPECIAL,R_0047_0023__HELICOPTER,R_0047_0025__THE_R_0047_0026__HORSE_R_0047_0027__GUARDS_R_0047_0028__PARADE,R_0047_0030__BOSCOMBE_R_0047_0031__DOWN,R_0047_0020__WHISKED,R_0047_0019__BEEN,R_0047_0036__BLESSED,R_0047_0037__REFRESHING,R_0047_0035__SIX_R_0047_0038__HOURS,R_0047_0033__SLEPT,Z_0047_5003,R_0047_0004__HAD,R_0047_0041__NOW,R_0047_0045__THE_R_0047_0046__JOURNEY,R_0047_0043__TWO__HYPHEN__THIRDS,R_0047_0049__THE_R_0047_0050__PLACE,R_0047_0047__BACK,R_0047_0040__HAD_R_0047_0042__COMPLETED,R_0047_0039__AND] :
      ( r_0047_0002__then(R_0047_0002__THEN)
      & r_0047_0003__he(R_0047_0003__HE)
      & r_0047_0007__England(R_0047_0007__ENGLAND)
      & r_0047_0011__vital(R_0047_0011__VITAL)
      & r_0047_0014__Bruce_r_0047_0015__Denton(R_0047_0014__BRUCE_R_0047_0015__DENTON)
      & r_0047_0022__special(R_0047_0022__SPECIAL)
      & r_0047_0025__the_r_0047_0026__Horse_r_0047_0027__Guards_r_0047_0028__Parade(R_0047_0025__THE_R_0047_0026__HORSE_R_0047_0027__GUARDS_R_0047_0028__PARADE)
      & r_0047_0030__Boscombe_r_0047_0031__Down(R_0047_0030__BOSCOMBE_R_0047_0031__DOWN)
      & r_0047_0036__blessed(R_0047_0036__BLESSED)
      & r_0047_0041__now(R_0047_0041__NOW)
      & r_0047_0045__the_r_0047_0046__journey(R_0047_0045__THE_R_0047_0046__JOURNEY)
      & r_0047_0049__the_r_0047_0050__place(R_0047_0049__THE_R_0047_0050__PLACE)
      & ! [R_0047_0053__INDICATION] :
          ( r_0047_0053__indication(R_0047_0053__INDICATION)
         => ? [R_0047_0056__EVE,Z_0047_5028___STAR_,R_0047_0057__BEING_R_0047_0058__HELD,R_0047_0054__POINTED] :
              ( r_0047_0056__Eve(R_0047_0056__EVE)
              & z_0047_5028___star_(Z_0047_5028___STAR_)
              & r_0047_0054__pointed(R_0047_0054__POINTED)
              & has_r_0047_0055__to__clr(R_0047_0054__POINTED,R_0047_0057__BEING_R_0047_0058__HELD)
              & r_0047_0057__being_r_0047_0058__held(R_0047_0057__BEING_R_0047_0058__HELD)
              & has_arg0(R_0047_0057__BEING_R_0047_0058__HELD,Z_0047_5028___STAR_)
              & has_arg1(R_0047_0057__BEING_R_0047_0058__HELD,R_0047_0056__EVE)
              & has_arg0(R_0047_0054__POINTED,R_0047_0053__INDICATION)
              & has_nim(R_0047_0054__POINTED,R_0047_0049__THE_R_0047_0050__PLACE) ) )
      & r_0047_0039__and(R_0047_0039__AND)
      & has_conj2(R_0047_0039__AND,R_0047_0040__HAD_R_0047_0042__COMPLETED)
      & r_0047_0040__had_r_0047_0042__completed(R_0047_0040__HAD_R_0047_0042__COMPLETED)
      & has_nim(R_0047_0040__HAD_R_0047_0042__COMPLETED,R_0047_0047__BACK)
      & r_0047_0047__back(R_0047_0047__BACK)
      & has_r_0047_0048__to(R_0047_0047__BACK,R_0047_0049__THE_R_0047_0050__PLACE)
      & has_arg1(R_0047_0040__HAD_R_0047_0042__COMPLETED,R_0047_0043__TWO__HYPHEN__THIRDS)
      & r_0047_0043__two__hyphen__thirds(R_0047_0043__TWO__HYPHEN__THIRDS)
      & has_r_0047_0044__of(R_0047_0043__TWO__HYPHEN__THIRDS,R_0047_0045__THE_R_0047_0046__JOURNEY)
      & has_nim(R_0047_0040__HAD_R_0047_0042__COMPLETED,R_0047_0041__NOW)
      & has_arg0(R_0047_0040__HAD_R_0047_0042__COMPLETED,R_0047_0003__HE)
      & has_r_0047_0001__Since__nim(R_0047_0040__HAD_R_0047_0042__COMPLETED,R_0047_0002__THEN)
      & has_conj1(R_0047_0039__AND,R_0047_0004__HAD)
      & r_0047_0004__had(R_0047_0004__HAD)
      & has_keep_scope(R_0047_0004__HAD,Z_0047_5003)
      & z_0047_5003(Z_0047_5003)
      & has_conj4(Z_0047_5003,R_0047_0033__SLEPT)
      & r_0047_0033__slept(R_0047_0033__SLEPT)
      & has_r_0047_0034__for__nim(R_0047_0033__SLEPT,R_0047_0035__SIX_R_0047_0038__HOURS)
      & r_0047_0035__six_r_0047_0038__hours(R_0047_0035__SIX_R_0047_0038__HOURS)
      & has_attrib(R_0047_0035__SIX_R_0047_0038__HOURS,R_0047_0037__REFRESHING)
      & r_0047_0037__refreshing(R_0047_0037__REFRESHING)
      & has_qual(R_0047_0037__REFRESHING,R_0047_0036__BLESSED)
      & has_arg0(R_0047_0033__SLEPT,R_0047_0003__HE)
      & has_conj3(Z_0047_5003,R_0047_0019__BEEN)
      & r_0047_0019__been(R_0047_0019__BEEN)
      & has_prd(R_0047_0019__BEEN,R_0047_0020__WHISKED)
      & r_0047_0020__whisked(R_0047_0020__WHISKED)
      & has_r_0047_0029__to(R_0047_0020__WHISKED,R_0047_0030__BOSCOMBE_R_0047_0031__DOWN)
      & has_r_0047_0024__from(R_0047_0020__WHISKED,R_0047_0025__THE_R_0047_0026__HORSE_R_0047_0027__GUARDS_R_0047_0028__PARADE)
      & has_r_0047_0021__by(R_0047_0020__WHISKED,R_0047_0023__HELICOPTER)
      & r_0047_0023__helicopter(R_0047_0023__HELICOPTER)
      & has_attrib(R_0047_0023__HELICOPTER,R_0047_0022__SPECIAL)
      & has_arg0(R_0047_0019__BEEN,R_0047_0003__HE)
      & has_conj2(Z_0047_5003,R_0047_0009__ATTENDED)
      & r_0047_0009__attended(R_0047_0009__ATTENDED)
      & has_arg1(R_0047_0009__ATTENDED,R_0047_0010__THE_R_0047_0012__CONFERENCE)
      & r_0047_0010__the_r_0047_0012__conference(R_0047_0010__THE_R_0047_0012__CONFERENCE)
      & has_r_0047_0013__in(R_0047_0010__THE_R_0047_0012__CONFERENCE,R_0047_0017__OFFICE)
      & r_0047_0017__office(R_0047_0017__OFFICE)
      & has_gen(R_0047_0017__OFFICE,R_0047_0014__BRUCE_R_0047_0015__DENTON)
      & has_attrib(R_0047_0010__THE_R_0047_0012__CONFERENCE,R_0047_0011__VITAL)
      & has_arg0(R_0047_0009__ATTENDED,R_0047_0003__HE)
      & has_conj1(Z_0047_5003,R_0047_0005__FLOWN)
      & r_0047_0005__flown(R_0047_0005__FLOWN)
      & has_r_0047_0006__to__nim(R_0047_0005__FLOWN,R_0047_0007__ENGLAND)
      & has_arg0(R_0047_0005__FLOWN,R_0047_0003__HE)
      & has_r_0047_0001__Since__nim(R_0047_0004__HAD,R_0047_0002__THEN) ) ).