TSPC 375_a_dick

375_a_dick_1952
Tance was walking slowly toward the gun, peering nearsightedly up at it.

( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{tance}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (VAG;_Ipr_ walking;{walk[toward]})
                                  (ADVP-NIM (ADV slowly;{slowly}))
                                  (PP-CLR (P-ROLE toward;{toward})
                                          (NP;{GUN} (D the;{the})
                                                    (N gun;{gun}))))
                            (PUNC ,)
                            (CONJP (ILYR (VAG;_phr_Vp_ peering;{peer[up]})
                                         (ADVP-NIM (ADV nearsightedly;{nearsightedly}))
                                         (RP up;{up})
                                         (PP-NIM (P-ROLE at;{at})
                                                 (NP;{GUN} (PRO it;{it})))))))
          (PUNC .))
  (ID 375_a_dick_1952))

arc(r_0375_0002__was,z_0375_5002,scope).
arc(r_0375_0003__walking_r_0375_0005__toward,r_0375_0001__Tance,arg0).
arc(r_0375_0003__walking_r_0375_0005__toward,r_0375_0004__slowly,nim).
arc(r_0375_0003__walking_r_0375_0005__toward,r_0375_0006__the_r_0375_0007__gun,arg1).
arc(r_0375_0009__peering_r_0375_0011__up,r_0375_0001__Tance,arg0).
arc(r_0375_0009__peering_r_0375_0011__up,r_0375_0006__the_r_0375_0007__gun,r_0375_0012__at__nim).
arc(r_0375_0009__peering_r_0375_0011__up,r_0375_0010__nearsightedly,nim).
arc(z_0375_5002,r_0375_0003__walking_r_0375_0005__toward,conj1).
arc(z_0375_5002,r_0375_0009__peering_r_0375_0011__up,conj2).

fof(formula,axiom,
    ? [R_0375_0001__TANCE,R_0375_0004__SLOWLY,R_0375_0006__THE_R_0375_0007__GUN,R_0375_0003__WALKING_R_0375_0005__TOWARD,R_0375_0010__NEARSIGHTEDLY,R_0375_0009__PEERING_R_0375_0011__UP,Z_0375_5002,R_0375_0002__WAS] :
      ( r_0375_0001__Tance(R_0375_0001__TANCE)
      & r_0375_0004__slowly(R_0375_0004__SLOWLY)
      & r_0375_0006__the_r_0375_0007__gun(R_0375_0006__THE_R_0375_0007__GUN)
      & r_0375_0010__nearsightedly(R_0375_0010__NEARSIGHTEDLY)
      & r_0375_0002__was(R_0375_0002__WAS)
      & has_keep_scope(R_0375_0002__WAS,Z_0375_5002)
      & z_0375_5002(Z_0375_5002)
      & has_conj2(Z_0375_5002,R_0375_0009__PEERING_R_0375_0011__UP)
      & r_0375_0009__peering_r_0375_0011__up(R_0375_0009__PEERING_R_0375_0011__UP)
      & has_nim(R_0375_0009__PEERING_R_0375_0011__UP,R_0375_0010__NEARSIGHTEDLY)
      & has_r_0375_0012__at__nim(R_0375_0009__PEERING_R_0375_0011__UP,R_0375_0006__THE_R_0375_0007__GUN)
      & has_arg0(R_0375_0009__PEERING_R_0375_0011__UP,R_0375_0001__TANCE)
      & has_conj1(Z_0375_5002,R_0375_0003__WALKING_R_0375_0005__TOWARD)
      & r_0375_0003__walking_r_0375_0005__toward(R_0375_0003__WALKING_R_0375_0005__TOWARD)
      & has_arg1(R_0375_0003__WALKING_R_0375_0005__TOWARD,R_0375_0006__THE_R_0375_0007__GUN)
      & has_nim(R_0375_0003__WALKING_R_0375_0005__TOWARD,R_0375_0004__SLOWLY)
      & has_arg0(R_0375_0003__WALKING_R_0375_0005__TOWARD,R_0375_0001__TANCE) ) ).