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_nim18).
arc(r_0631_0009__frozen, r_0631_0008__the_r_0631_0010__ground, arg1).
arc(r_0631_0009__frozen, z_000_631_a_dick_1952_22, 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, nim34).
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, arg0).
arc(r_0631_0021__Moving, r_0631_0001__The_r_0631_0002__lead_r_0631_0003__cart, arg0).
arc(r_0631_0021__Moving, r_0631_0023__the_r_0631_0024__city, r_0631_0022__toward_clr62).
arc(r_0631_0021__Moving, r_0631_0027__the_r_0631_0029__gun, r_0631_0026__To_nim72).
arc(r_0631_0028__damaged, r_0631_0027__the_r_0631_0029__gun, arg1).
arc(r_0631_0028__damaged, z_000_631_a_dick_1952_76, arg0).
arc(z_000_631_a_dick_1952_30, r_0631_0004__started_r_0631_0005__off, scope).
arc(z_000_631_a_dick_1952_30, r_0631_0012__bumping_r_0631_0014__along, restriction).
arc(z_000_631_a_dick_1952_41, r_0631_0016__followed, restriction).
arc(z_000_631_a_dick_1952_41, z_000_631_a_dick_1952_30, scope).
arc(z_000_631_a_dick_1952_55, r_0631_0021__Moving, restriction).
arc(z_000_631_a_dick_1952_55, z_000_631_a_dick_1952_41, scope).

fof(formula,axiom,
    ? [R_0631_0008__THE_R_0631_0010__GROUND,Z_000_631_A_DICK_1952_22,R_0631_0009__FROZEN,R_0631_0027__THE_R_0631_0029__GUN,Z_000_631_A_DICK_1952_76,R_0631_0028__DAMAGED,R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART,R_0631_0023__THE_R_0631_0024__CITY,R_0631_0021__MOVING,R_0631_0018__THE_R_0631_0019__OTHERS,R_0631_0016__FOLLOWED,R_0631_0004__STARTED_R_0631_0005__OFF,R_0631_0013__CALMLY,R_0631_0012__BUMPING_R_0631_0014__ALONG,Z_000_631_A_DICK_1952_30,Z_000_631_A_DICK_1952_41,Z_000_631_A_DICK_1952_55] :
      ( 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_0008__the_r_0631_0010__ground(R_0631_0008__THE_R_0631_0010__GROUND)
      & 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)
      & r_0631_0027__the_r_0631_0029__gun(R_0631_0027__THE_R_0631_0029__GUN)
      & z_000_631_a_dick_1952_22(Z_000_631_A_DICK_1952_22)
      & z_000_631_a_dick_1952_76(Z_000_631_A_DICK_1952_76)
      & z_000_631_a_dick_1952_55(Z_000_631_A_DICK_1952_55)
      & has_conj2(Z_000_631_A_DICK_1952_55,Z_000_631_A_DICK_1952_41)
      & z_000_631_a_dick_1952_41(Z_000_631_A_DICK_1952_41)
      & has_conj2(Z_000_631_A_DICK_1952_41,Z_000_631_A_DICK_1952_30)
      & z_000_631_a_dick_1952_30(Z_000_631_A_DICK_1952_30)
      & has_conj1(Z_000_631_A_DICK_1952_30,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_nim34(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_000_631_A_DICK_1952_30,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_nim18(R_0631_0004__STARTED_R_0631_0005__OFF,R_0631_0008__THE_R_0631_0010__GROUND)
      & 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_000_631_A_DICK_1952_41,R_0631_0016__FOLLOWED)
      & r_0631_0016__followed(R_0631_0016__FOLLOWED)
      & has_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_000_631_A_DICK_1952_55,R_0631_0021__MOVING)
      & r_0631_0021__Moving(R_0631_0021__MOVING)
      & has_r_0631_0026__To_nim72(R_0631_0021__MOVING,R_0631_0027__THE_R_0631_0029__GUN)
      & has_r_0631_0022__toward_clr62(R_0631_0021__MOVING,R_0631_0023__THE_R_0631_0024__CITY)
      & has_arg0(R_0631_0021__MOVING,R_0631_0001__THE_R_0631_0002__LEAD_R_0631_0003__CART)
      & r_0631_0028__damaged(R_0631_0028__DAMAGED)
      & has_arg0(R_0631_0028__DAMAGED,Z_000_631_A_DICK_1952_76)
      & has_arg1(R_0631_0028__DAMAGED,R_0631_0027__THE_R_0631_0029__GUN)
      & r_0631_0009__frozen(R_0631_0009__FROZEN)
      & has_arg0(R_0631_0009__FROZEN,Z_000_631_A_DICK_1952_22)
      & has_arg1(R_0631_0009__FROZEN,R_0631_0008__THE_R_0631_0010__GROUND) ) ).

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