Context                Previous, Next                Top


14_a_maptext
The car park is now a few hundred yards away.

%3 r_0014_0004__is is r_0014_0001__The_r_0014_0002__car_r_0014_0003__park The car park r_0014_0004__is->r_0014_0001__The_r_0014_0002__car_r_0014_0003__park [arg0] r_0014_0005__now now r_0014_0004__is->r_0014_0005__now [nim] r_0014_0009__away away r_0014_0004__is->r_0014_0009__away [clr] r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards a few hundred yards r_0014_0009__away->r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards [nim] 
arc(r_0014_0004__is, r_0014_0001__The_r_0014_0002__car_r_0014_0003__park, arg0).
arc(r_0014_0004__is, r_0014_0005__now, nim11).
arc(r_0014_0004__is, r_0014_0009__away, clr14).
arc(r_0014_0009__away, r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards, nim15).


%3 r_0014_0009__away away r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards a few hundred yards r_0014_0009__away->r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards [nim] r_0014_0004__is is r_0014_0004__is->r_0014_0009__away [clr] r_0014_0005__now now r_0014_0004__is->r_0014_0005__now [nim] r_0014_0001__The_r_0014_0002__car_r_0014_0003__park The car park r_0014_0004__is->r_0014_0001__The_r_0014_0002__car_r_0014_0003__park [arg0] 
fof(formula,axiom,
    ? [R_14_4_IS,R_14_1_THE_CAR_PARK,R_14_9_AWAY,R_14_6_A_FEW_HUNDRED_YARDS,R_14_5_NOW] :
      ( the_car_park(R_14_1_THE_CAR_PARK)
      & a_few_hundred_yards(R_14_6_A_FEW_HUNDRED_YARDS)
      & now(R_14_5_NOW)
      & is(R_14_4_IS,R_14_1_THE_CAR_PARK)
      & clr14(R_14_4_IS,R_14_9_AWAY)
      & away(R_14_9_AWAY)
      & nim15(R_14_9_AWAY,R_14_6_A_FEW_HUNDRED_YARDS)
      & nim11(R_14_4_IS,R_14_5_NOW) ) ).


n14_a_maptext n14_a_maptext__1_1_1_1 The n14_a_maptext__1_1_2_1 car n14_a_maptext__1_1_3_1 park n14_a_maptext__1_2_1 is n14_a_maptext__1_3_1_1 now n14_a_maptext__1_4_1_1_1 a_few n14_a_maptext__1_4_1_2_1 hundred n14_a_maptext__1_4_1_3_1 yards n14_a_maptext__1_4_2_1 away n14_a_maptext__1_5_1 . n14_a_maptext__1 IP-MAT n14_a_maptext__1_1 NP-SBJ n14_a_maptext__1->n14_a_maptext__1_1 n14_a_maptext__1_2 BEP;_Ip_ n14_a_maptext__1->n14_a_maptext__1_2 n14_a_maptext__1_3 ADVP-NIM n14_a_maptext__1->n14_a_maptext__1_3 n14_a_maptext__1_4 ADVP-CLR n14_a_maptext__1->n14_a_maptext__1_4 n14_a_maptext__1_5 PUNC n14_a_maptext__1->n14_a_maptext__1_5 n14_a_maptext__1_1_1 D n14_a_maptext__1_1->n14_a_maptext__1_1_1 n14_a_maptext__1_1_2 N n14_a_maptext__1_1->n14_a_maptext__1_1_2 n14_a_maptext__1_1_3 N n14_a_maptext__1_1->n14_a_maptext__1_1_3 n14_a_maptext__1_1_1->n14_a_maptext__1_1_1_1 n14_a_maptext__1_1_2->n14_a_maptext__1_1_2_1 n14_a_maptext__1_1_3->n14_a_maptext__1_1_3_1 n14_a_maptext__1_2->n14_a_maptext__1_2_1 n14_a_maptext__1_3_1 ADV n14_a_maptext__1_3->n14_a_maptext__1_3_1 n14_a_maptext__1_3_1->n14_a_maptext__1_3_1_1 n14_a_maptext__1_4_1 NP n14_a_maptext__1_4->n14_a_maptext__1_4_1 n14_a_maptext__1_4_2 ADV n14_a_maptext__1_4->n14_a_maptext__1_4_2 n14_a_maptext__1_4_1_1 D n14_a_maptext__1_4_1->n14_a_maptext__1_4_1_1 n14_a_maptext__1_4_1_2 NUM n14_a_maptext__1_4_1->n14_a_maptext__1_4_1_2 n14_a_maptext__1_4_1_3 NS n14_a_maptext__1_4_1->n14_a_maptext__1_4_1_3 n14_a_maptext__1_4_1_1->n14_a_maptext__1_4_1_1_1 n14_a_maptext__1_4_1_2->n14_a_maptext__1_4_1_2_1 n14_a_maptext__1_4_1_3->n14_a_maptext__1_4_1_3_1 n14_a_maptext__1_4_2->n14_a_maptext__1_4_2_1 n14_a_maptext__1_5->n14_a_maptext__1_5_1 
( (IP-MAT (NP-SBJ;{CAR_PARK} (D The;{the})
                             (N car;{car})
                             (N park;{park}))
          (BEP;_Ip_ is;{be})
          (ADVP-NIM (ADV now;{now}))
          (ADVP-CLR (NP (D a_few;{a_few})
                        (NUM hundred;{hundred})
                        (NS yards;{yard}))
                    (ADV away;{away}))
          (PUNC .))
  (ID 14_a_maptext))