193_a_dick_1952
They stopped walking, letting Tance catch up.
( (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) ) ).