( (IP-MAT (NP-SBJ;{DORLE+NASHA} (PRO They;{they}))
          (VBD;_cat_Vg_ stopped;{stop})
          (IP-PPL-CAT (VAG;_I_ walking;{walk}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Cn.i_ letting;{let})
                            (NP-OB1;{TANCE} (NPR Tance;{Tance}))
                            (IP-INF-PRD (VB;_phr_Vp_ catch;{catch[up]})
                                        (RP up;{up}))))
          (PUNC .))
  (ID 193_a_dick_1952))

arc(r_0193_0002__stopped,r_0193_0003__walking,scope).
arc(r_0193_0003__walking,r_0193_0001__They,arg0).
arc(r_0193_0005__letting,r_0193_0001__They,arg0).
arc(r_0193_0005__letting,r_0193_0006__Tance,arg1).
arc(r_0193_0005__letting,r_0193_0007__catch_r_0193_0008__up,prd).
arc(r_0193_0007__catch_r_0193_0008__up,z_0193_5005,arg0).
arc(z_0193_5001,r_0193_0002__stopped,scope).
arc(z_0193_5001,r_0193_0005__letting,restriction).

fof(formula,axiom,
    ? [R_0193_0001__THEY,R_0193_0002__STOPPED_R_0193_0003__WALKING,R_0193_0006__TANCE,Z_0193_5005,R_0193_0007__CATCH_R_0193_0008__UP,R_0193_0005__LETTING,Z_0193_5001] :
      ( r_0193_0001__They(R_0193_0001__THEY)
      & r_0193_0006__Tance(R_0193_0006__TANCE)
      & z_0193_5005(Z_0193_5005)
      & z_0193_5001(Z_0193_5001)
      & has_conj1(Z_0193_5001,R_0193_0005__LETTING)
      & r_0193_0005__letting(R_0193_0005__LETTING)
      & has_prd(R_0193_0005__LETTING,R_0193_0007__CATCH_R_0193_0008__UP)
      & r_0193_0007__catch_r_0193_0008__up(R_0193_0007__CATCH_R_0193_0008__UP)
      & has_arg0(R_0193_0007__CATCH_R_0193_0008__UP,Z_0193_5005)
      & has_arg1(R_0193_0005__LETTING,R_0193_0006__TANCE)
      & has_arg0(R_0193_0005__LETTING,R_0193_0001__THEY)
      & has_conj2(Z_0193_5001,R_0193_0002__STOPPED_R_0193_0003__WALKING)
      & r_0193_0002__stopped_r_0193_0003__walking(R_0193_0002__STOPPED_R_0193_0003__WALKING)
      & has_arg0(R_0193_0002__STOPPED_R_0193_0003__WALKING,R_0193_0001__THEY) ) ).