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

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,nim).
arc(r_0014_0004__is,r_0014_0009__away,clr).
arc(r_0014_0009__away,r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards,nim).

fof(formula,axiom,
    ? [R_0014_0001__THE_R_0014_0002__CAR_R_0014_0003__PARK,R_0014_0005__NOW,R_0014_0006__A_FEW_R_0014_0007__HUNDRED_R_0014_0008__YARDS,R_0014_0009__AWAY,R_0014_0004__IS] :
      ( r_0014_0001__The_r_0014_0002__car_r_0014_0003__park(R_0014_0001__THE_R_0014_0002__CAR_R_0014_0003__PARK)
      & r_0014_0005__now(R_0014_0005__NOW)
      & r_0014_0006__a_few_r_0014_0007__hundred_r_0014_0008__yards(R_0014_0006__A_FEW_R_0014_0007__HUNDRED_R_0014_0008__YARDS)
      & r_0014_0004__is(R_0014_0004__IS)
      & has_clr(R_0014_0004__IS,R_0014_0009__AWAY)
      & r_0014_0009__away(R_0014_0009__AWAY)
      & has_nim(R_0014_0009__AWAY,R_0014_0006__A_FEW_R_0014_0007__HUNDRED_R_0014_0008__YARDS)
      & has_nim(R_0014_0004__IS,R_0014_0005__NOW)
      & has_arg0(R_0014_0004__IS,R_0014_0001__THE_R_0014_0002__CAR_R_0014_0003__PARK) ) ).