( (IP-MAT (NP-SBJ (D The;{the})
                  (N lead;{lead})
                  (N cart;{cart}))
          (VBD;_phr_Vp_ started;{start[off]})
          (RP off;{off})
          (PUNC ,)
          (PP-NIM (P-ROLE across;{across})
                  (NP (D the;{the})
                      (IP-PPL (NP-LGS *)
                              (VVN;_Tn_ frozen;{freeze}))
                      (N ground;{ground})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_phr_Vp_ bumping;{bump[along]})
                           (ADVP-NIM (ADV calmly;{calmly}))
                           (RP along;{along})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VVN;_Tn_ followed;{follow})
                           (PP-LGS (P-ROLE;_lgs_ by;{by})
                                   (NP (D the;{the})
                                       (NS others;{other})))))
          (PUNC .)
          (PP-SCON (IP-PPL (VAG;_Ipr_ Moving;{move[toward]})
                           (PP-CLR (P-ROLE toward;{toward})
                                   (NP (D the;{the})
                                       (N city;{city})))
                           (PUNC .)
                           (PP-NIM (P-ROLE To;{to})
                                   (NP (D the;{the})
                                       (IP-PPL (NP-LGS *)
                                               (VVN;_Tn_ damaged;{damaged}))
                                       (N gun;{gun})))))
          (PUNC .))
  (ID 631_a_dick_1952))

arc(r_0631_0004__started_r_0631_0005__off,r_0631_0001__The_r_0631_0002__lead_r_0631_0003__cart,arg0).
arc(r_0631_0004__started_r_0631_0005__off,r_0631_0008__the_r_0631_0010__ground,r_0631_0007__across__nim).
arc(r_0631_0009__frozen,r_0631_0008__the_r_0631_0010__ground,inv_arg1).
arc(r_0631_0009__frozen,z_0631_5018___star_,arg0).
arc(r_0631_0012__bumping_r_0631_0014__along,r_0631_0001__The_r_0631_0002__lead_r_0631_0003__cart,arg0).
arc(r_0631_0012__bumping_r_0631_0014__along,r_0631_0013__calmly,nim).
arc(r_0631_0016__followed,r_0631_0001__The_r_0631_0002__lead_r_0631_0003__cart,arg1).
arc(r_0631_0016__followed,r_0631_0018__the_r_0631_0019__others,r_0631_0017__by_arg0).
arc(r_0631_0021__Moving_r_0631_0022__toward,r_0631_0001__The_r_0631_0002__lead_r_0631_0003__cart,arg0).
arc(r_0631_0021__Moving_r_0631_0022__toward,r_0631_0023__the_r_0631_0024__city,arg1).
arc(r_0631_0021__Moving_r_0631_0022__toward,r_0631_0027__the_r_0631_0029__gun,r_0631_0026__To__nim).
arc(r_0631_0028__damaged,r_0631_0027__the_r_0631_0029__gun,inv_arg1).
arc(r_0631_0028__damaged,z_0631_5006___star_,arg0).
arc(z_0631_5002,r_0631_0021__Moving_r_0631_0022__toward,restriction).
arc(z_0631_5002,z_0631_5009,scope).
arc(z_0631_5009,r_0631_0016__followed,restriction).
arc(z_0631_5009,z_0631_5013,scope).
arc(z_0631_5013,r_0631_0004__started_r_0631_0005__off,scope).
arc(z_0631_5013,r_0631_0012__bumping_r_0631_0014__along,restriction).

fof(formula,axiom,
    ? [R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART,R_0631_0023__THE_R_0631_0024__CITY,Z_0631_5006___STAR_,R_0631_0028__DAMAGED,R_0631_0027__THE_R_0631_0029__GUN,R_0631_0021__MOVING_R_0631_0022__TOWARD,R_0631_0018__THE_R_0631_0019__OTHERS,R_0631_0016__FOLLOWED,Z_0631_5018___STAR_,R_0631_0009__FROZEN,R_0631_0008__THE_R_0631_0010__GROUND,R_0631_0004__STARTED_R_0631_0005__OFF,R_0631_0013__CALMLY,R_0631_0012__BUMPING_R_0631_0014__ALONG,Z_0631_5013,Z_0631_5009,Z_0631_5002] :
      ( r_0631_0001__The_r_0631_0002__lead_r_0631_0003__cart(R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART)
      & r_0631_0013__calmly(R_0631_0013__CALMLY)
      & r_0631_0018__the_r_0631_0019__others(R_0631_0018__THE_R_0631_0019__OTHERS)
      & r_0631_0023__the_r_0631_0024__city(R_0631_0023__THE_R_0631_0024__CITY)
      & z_0631_5006___star_(Z_0631_5006___STAR_)
      & z_0631_5018___star_(Z_0631_5018___STAR_)
      & z_0631_5002(Z_0631_5002)
      & has_conj2(Z_0631_5002,Z_0631_5009)
      & z_0631_5009(Z_0631_5009)
      & has_conj2(Z_0631_5009,Z_0631_5013)
      & z_0631_5013(Z_0631_5013)
      & has_conj1(Z_0631_5013,R_0631_0012__BUMPING_R_0631_0014__ALONG)
      & r_0631_0012__bumping_r_0631_0014__along(R_0631_0012__BUMPING_R_0631_0014__ALONG)
      & has_nim(R_0631_0012__BUMPING_R_0631_0014__ALONG,R_0631_0013__CALMLY)
      & has_arg0(R_0631_0012__BUMPING_R_0631_0014__ALONG,R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART)
      & has_conj2(Z_0631_5013,R_0631_0004__STARTED_R_0631_0005__OFF)
      & r_0631_0004__started_r_0631_0005__off(R_0631_0004__STARTED_R_0631_0005__OFF)
      & has_r_0631_0007__across__nim(R_0631_0004__STARTED_R_0631_0005__OFF,R_0631_0008__THE_R_0631_0010__GROUND)
      & r_0631_0008__the_r_0631_0010__ground(R_0631_0008__THE_R_0631_0010__GROUND)
      & has_inv_arg1(R_0631_0008__THE_R_0631_0010__GROUND,R_0631_0009__FROZEN)
      & r_0631_0009__frozen(R_0631_0009__FROZEN)
      & has_arg0(R_0631_0009__FROZEN,Z_0631_5018___STAR_)
      & has_arg0(R_0631_0004__STARTED_R_0631_0005__OFF,R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART)
      & has_conj1(Z_0631_5009,R_0631_0016__FOLLOWED)
      & r_0631_0016__followed(R_0631_0016__FOLLOWED)
      & has_r_0631_0017__by_arg0(R_0631_0016__FOLLOWED,R_0631_0018__THE_R_0631_0019__OTHERS)
      & has_arg1(R_0631_0016__FOLLOWED,R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART)
      & has_conj1(Z_0631_5002,R_0631_0021__MOVING_R_0631_0022__TOWARD)
      & r_0631_0021__Moving_r_0631_0022__toward(R_0631_0021__MOVING_R_0631_0022__TOWARD)
      & has_r_0631_0026__To__nim(R_0631_0021__MOVING_R_0631_0022__TOWARD,R_0631_0027__THE_R_0631_0029__GUN)
      & r_0631_0027__the_r_0631_0029__gun(R_0631_0027__THE_R_0631_0029__GUN)
      & has_inv_arg1(R_0631_0027__THE_R_0631_0029__GUN,R_0631_0028__DAMAGED)
      & r_0631_0028__damaged(R_0631_0028__DAMAGED)
      & has_arg0(R_0631_0028__DAMAGED,Z_0631_5006___STAR_)
      & has_arg1(R_0631_0021__MOVING_R_0631_0022__TOWARD,R_0631_0023__THE_R_0631_0024__CITY)
      & has_arg0(R_0631_0021__MOVING_R_0631_0022__TOWARD,R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART) ) ).