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_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] 
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_4 The n14_a_maptext_6 car n14_a_maptext_8 park n14_a_maptext_10 is n14_a_maptext_13 now n14_a_maptext_17 a_few n14_a_maptext_19 hundred n14_a_maptext_21 yards n14_a_maptext_23 away n14_a_maptext_25 . n14_a_maptext_1 IP-MAT n14_a_maptext_2 NP-SBJ n14_a_maptext_1->n14_a_maptext_2 n14_a_maptext_9 BEP;_Ip_ n14_a_maptext_1->n14_a_maptext_9 n14_a_maptext_11 ADVP-NIM n14_a_maptext_1->n14_a_maptext_11 n14_a_maptext_14 ADVP-CLR n14_a_maptext_1->n14_a_maptext_14 n14_a_maptext_24 PUNC n14_a_maptext_1->n14_a_maptext_24 n14_a_maptext_3 D n14_a_maptext_2->n14_a_maptext_3 n14_a_maptext_5 N n14_a_maptext_2->n14_a_maptext_5 n14_a_maptext_7 N n14_a_maptext_2->n14_a_maptext_7 n14_a_maptext_3->n14_a_maptext_4 n14_a_maptext_5->n14_a_maptext_6 n14_a_maptext_7->n14_a_maptext_8 n14_a_maptext_9->n14_a_maptext_10 n14_a_maptext_12 ADV n14_a_maptext_11->n14_a_maptext_12 n14_a_maptext_12->n14_a_maptext_13 n14_a_maptext_15 NP n14_a_maptext_14->n14_a_maptext_15 n14_a_maptext_22 ADV n14_a_maptext_14->n14_a_maptext_22 n14_a_maptext_16 D n14_a_maptext_15->n14_a_maptext_16 n14_a_maptext_18 NUM n14_a_maptext_15->n14_a_maptext_18 n14_a_maptext_20 NS n14_a_maptext_15->n14_a_maptext_20 n14_a_maptext_16->n14_a_maptext_17 n14_a_maptext_18->n14_a_maptext_19 n14_a_maptext_20->n14_a_maptext_21 n14_a_maptext_22->n14_a_maptext_23 n14_a_maptext_24->n14_a_maptext_25 
( (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))