TSPC 88_a_lob

88_a_lob_n01
‘I have arranged,’ concluded Alastair, ‘for her to have the car at the point where the 14 - kilometre stone track meets the runway.

arc(r_0088_0003__have, r_0088_0004__arranged, scope).
arc(r_0088_0004__arranged, r_0088_0002__I, arg0).
arc(r_0088_0004__arranged, r_0088_0011__for_r_0088_0013__to_r_0088_0014__have, arg1).
arc(r_0088_0011__for_r_0088_0013__to_r_0088_0014__have, r_0088_0012__her, arg0).
arc(r_0088_0011__for_r_0088_0013__to_r_0088_0014__have, r_0088_0015__the_r_0088_0016__car, arg1).
arc(r_0088_0011__for_r_0088_0013__to_r_0088_0014__have, r_0088_0018__the_r_0088_0019__point, r_0088_0017__at_nim45).
arc(r_0088_0027__meets, r_0088_0018__the_r_0088_0019__point, nim51).
arc(r_0088_0027__meets, r_0088_0021__the_r_0088_0022__14_r_0088_0024__kilometre_r_0088_0025__stone_r_0088_0026__track, arg0).
arc(r_0088_0027__meets, r_0088_0028__the_r_0088_0029__runway, arg1).

fof(formula,axiom,
    ? [R_88_3_HAVE_ARRANGED,R_88_2_I,R_88_11_FOR_TO_HAVE,R_88_12_HER,R_88_15_THE_CAR,R_88_27_MEETS,R_88_21_THE_14_KILOMETRE_STONE_TRACK,R_88_28_THE_RUNWAY,R_88_18_THE_POINT] :
      ( i(R_88_2_I)
      & her(R_88_12_HER)
      & the_car(R_88_15_THE_CAR)
      & the_14_kilometre_stone_track(R_88_21_THE_14_KILOMETRE_STONE_TRACK)
      & the_runway(R_88_28_THE_RUNWAY)
      & the_point(R_88_18_THE_POINT)
      & have_arranged(R_88_3_HAVE_ARRANGED,R_88_2_I,R_88_11_FOR_TO_HAVE)
      & for_to_have(R_88_11_FOR_TO_HAVE,R_88_12_HER,R_88_15_THE_CAR)
      & at_nim45(R_88_11_FOR_TO_HAVE,R_88_18_THE_POINT)
      & meets(R_88_27_MEETS,R_88_21_THE_14_KILOMETRE_STONE_TRACK,R_88_28_THE_RUNWAY)
      & nim51(R_88_27_MEETS,R_88_18_THE_POINT) ) ).

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{ALASTAIR} (PRO I;{I}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;__ arranged;{arrange})
                      (PUNC ,)
                      (PURQ <rquo>)
                      (PRN (IP-MAT (VBD;_Tr_ concluded;{conclude})
                                   (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))))
                      (PUNC ,)
                      (PULQ <lquo>)
                      (IP-INF-OB1 (P-CONN for;{for})
                                  (NP-SBJ;{GLORIA} (PRO her;{her}))
                                  (TO to;{to})
                                  (HV;_Tn_ have;{have})
                                  (NP-OB1 (D the;{the})
                                          (N car;{car}))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (N point;{point})
                                              (IP-REL (ADVP-NIM (RADV where;{where}))
                                                      (NP-SBJ (D the;{the})
                                                              (NUM 14)
                                                              (PUNC <hyphen>)
                                                              (N kilometre;{kilometre})
                                                              (N stone;{stone})
                                                              (N track;{track}))
                                                      (VBP;__ meets;{meet})
                                                      (NP-OB1 (D the;{the})
                                                              (N runway;{runway})))))))
          (PUNC .))
  (ID 88_a_lob_n01))