TSPC 4_a_maptext

4_a_maptext
Go through a turnstile at the back of the car park and follow the footpath past Garston Hall.

( (IP-IMP (ILYR (ILYR (VB;_Ipr_ Go;{go[through]})
                      (PP-CLR (P-ROLE through;{through})
                              (NP (D a;{a})
                                  (N turnstile;{turnstile})
                                  (PP (P-ROLE at;{at})
                                      (NP (D the;{the})
                                          (N back;{back})
                                          (PP (P-ROLE of;{of})
                                              (NP;{CAR_PARK} (D the;{the})
                                                             (N car;{car})
                                                             (N park;{park}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Tn_ follow;{follow})
                             (NP-OB1 (D the;{the})
                                     (N footpath;{footpath}))
                             (PP-NIM (P-ROLE past;{past})
                                     (NP (NPR Garston;{Garston})
                                         (NPR Hall;{Hall}))))))
          (PUNC .))
  (ID 4_a_maptext))

arc(r_0004_0001__Go_r_0004_0002__through,r_0004_0003__a_r_0004_0004__turnstile,arg1).
arc(r_0004_0001__Go_r_0004_0002__through,z_0004_5002,arg0).
arc(r_0004_0003__a_r_0004_0004__turnstile,r_0004_0006__the_r_0004_0007__back,r_0004_0005__at).
arc(r_0004_0006__the_r_0004_0007__back,r_0004_0009__the_r_0004_0010__car_r_0004_0011__park,r_0004_0008__of).
arc(r_0004_0012__and,r_0004_0001__Go_r_0004_0002__through,conj1).
arc(r_0004_0012__and,r_0004_0013__follow,conj2).
arc(r_0004_0013__follow,r_0004_0014__the_r_0004_0015__footpath,arg1).
arc(r_0004_0013__follow,r_0004_0017__Garston_r_0004_0018__Hall,r_0004_0016__past__nim).
arc(r_0004_0013__follow,z_0004_5002,arg0).

fof(formula,axiom,
    ? [R_0004_0009__THE_R_0004_0010__CAR_R_0004_0011__PARK,R_0004_0006__THE_R_0004_0007__BACK,R_0004_0003__A_R_0004_0004__TURNSTILE,Z_0004_5002,R_0004_0001__GO_R_0004_0002__THROUGH,R_0004_0014__THE_R_0004_0015__FOOTPATH,R_0004_0017__GARSTON_R_0004_0018__HALL,R_0004_0013__FOLLOW,R_0004_0012__AND] :
      ( r_0004_0009__the_r_0004_0010__car_r_0004_0011__park(R_0004_0009__THE_R_0004_0010__CAR_R_0004_0011__PARK)
      & r_0004_0014__the_r_0004_0015__footpath(R_0004_0014__THE_R_0004_0015__FOOTPATH)
      & r_0004_0017__Garston_r_0004_0018__Hall(R_0004_0017__GARSTON_R_0004_0018__HALL)
      & z_0004_5002(Z_0004_5002)
      & r_0004_0012__and(R_0004_0012__AND)
      & has_conj2(R_0004_0012__AND,R_0004_0013__FOLLOW)
      & r_0004_0013__follow(R_0004_0013__FOLLOW)
      & has_arg0(R_0004_0013__FOLLOW,Z_0004_5002)
      & has_r_0004_0016__past__nim(R_0004_0013__FOLLOW,R_0004_0017__GARSTON_R_0004_0018__HALL)
      & has_arg1(R_0004_0013__FOLLOW,R_0004_0014__THE_R_0004_0015__FOOTPATH)
      & has_conj1(R_0004_0012__AND,R_0004_0001__GO_R_0004_0002__THROUGH)
      & r_0004_0001__Go_r_0004_0002__through(R_0004_0001__GO_R_0004_0002__THROUGH)
      & has_arg0(R_0004_0001__GO_R_0004_0002__THROUGH,Z_0004_5002)
      & has_arg1(R_0004_0001__GO_R_0004_0002__THROUGH,R_0004_0003__A_R_0004_0004__TURNSTILE)
      & r_0004_0003__a_r_0004_0004__turnstile(R_0004_0003__A_R_0004_0004__TURNSTILE)
      & has_r_0004_0005__at(R_0004_0003__A_R_0004_0004__TURNSTILE,R_0004_0006__THE_R_0004_0007__BACK)
      & r_0004_0006__the_r_0004_0007__back(R_0004_0006__THE_R_0004_0007__BACK)
      & has_r_0004_0008__of(R_0004_0006__THE_R_0004_0007__BACK,R_0004_0009__THE_R_0004_0010__CAR_R_0004_0011__PARK) ) ).