Context                Previous, Next                Top


193_a_dick_1952
They stopped walking, letting Tance catch up.

%3 r_0193_0002__stopped stopped r_0193_0003__walking walking r_0193_0002__stopped->r_0193_0003__walking [scope] r_0193_0001__They They r_0193_0003__walking->r_0193_0001__They [arg0] r_0193_0005__letting letting r_0193_0005__letting->r_0193_0001__They [arg0] r_0193_0006__Tance Tance r_0193_0005__letting->r_0193_0006__Tance [arg1] r_0193_0007__catch_r_0193_0008__up catch up r_0193_0005__letting->r_0193_0007__catch_r_0193_0008__up [prd] x_000_193_a_dick_1952_19 __ r_0193_0007__catch_r_0193_0008__up->x_000_193_a_dick_1952_19 [arg0] z_000_193_a_dick_1952_12 z_000_193_a_dick_1952_12->r_0193_0002__stopped [scope] z_000_193_a_dick_1952_12->r_0193_0005__letting [restriction] 
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, x_000_193_a_dick_1952_19, arg0).
arc(z_000_193_a_dick_1952_12, r_0193_0002__stopped, scope).
arc(z_000_193_a_dick_1952_12, r_0193_0005__letting, restriction).


%3 r_0193_0002__stopped_r_0193_0003__walking stopped walking r_0193_0001__They They r_0193_0002__stopped_r_0193_0003__walking->r_0193_0001__They [arg0] r_0193_0005__letting letting r_0193_0005__letting->r_0193_0001__They [arg0] r_0193_0006__Tance Tance r_0193_0005__letting->r_0193_0006__Tance [arg1] r_0193_0007__catch_r_0193_0008__up catch up r_0193_0005__letting->r_0193_0007__catch_r_0193_0008__up [prd] x_000_193_a_dick_1952_19 __ r_0193_0007__catch_r_0193_0008__up->x_000_193_a_dick_1952_19 [arg0] z_000_193_a_dick_1952_12 z_000_193_a_dick_1952_12->r_0193_0002__stopped_r_0193_0003__walking [conj2] z_000_193_a_dick_1952_12->r_0193_0005__letting [conj1] 
fof(formula,axiom,
    ? [Z_193_A_DICK_1952_12,R_193_5_LETTING,R_193_6_TANCE,R_193_7_CATCH_UP,X_193_A_DICK_1952_19,R_193_2_STOPPED_WALKING,R_193_1_THEY] :
      ( tance(R_193_6_TANCE)
      & they(R_193_1_THEY)
      & z_193_a_dick_1952_12(Z_193_A_DICK_1952_12)
      & conj1(Z_193_A_DICK_1952_12,R_193_5_LETTING)
      & letting(R_193_5_LETTING,R_193_1_THEY,R_193_6_TANCE,R_193_7_CATCH_UP)
      & catch_up(R_193_7_CATCH_UP,X_193_A_DICK_1952_19)
      & conj2(Z_193_A_DICK_1952_12,R_193_2_STOPPED_WALKING)
      & stopped_walking(R_193_2_STOPPED_WALKING,R_193_1_THEY) ) ).


n193_a_dick_1952 n193_a_dick_1952_4 They n193_a_dick_1952_6 stopped n193_a_dick_1952_9 walking n193_a_dick_1952_11 , n193_a_dick_1952_15 letting n193_a_dick_1952_18 Tance n193_a_dick_1952_21 catch n193_a_dick_1952_23 up n193_a_dick_1952_25 . n193_a_dick_1952_1 IP-MAT n193_a_dick_1952_2 NP-SBJ n193_a_dick_1952_1->n193_a_dick_1952_2 n193_a_dick_1952_5 VBD;_cat_Vg_ n193_a_dick_1952_1->n193_a_dick_1952_5 n193_a_dick_1952_7 IP-PPL-CAT n193_a_dick_1952_1->n193_a_dick_1952_7 n193_a_dick_1952_10 PUNC n193_a_dick_1952_1->n193_a_dick_1952_10 n193_a_dick_1952_12 PP-SCON n193_a_dick_1952_1->n193_a_dick_1952_12 n193_a_dick_1952_24 PUNC n193_a_dick_1952_1->n193_a_dick_1952_24 n193_a_dick_1952_3 PRO n193_a_dick_1952_2->n193_a_dick_1952_3 n193_a_dick_1952_3->n193_a_dick_1952_4 n193_a_dick_1952_5->n193_a_dick_1952_6 n193_a_dick_1952_8 VAG;_I_ n193_a_dick_1952_7->n193_a_dick_1952_8 n193_a_dick_1952_8->n193_a_dick_1952_9 n193_a_dick_1952_10->n193_a_dick_1952_11 n193_a_dick_1952_13 IP-PPL2 n193_a_dick_1952_12->n193_a_dick_1952_13 n193_a_dick_1952_14 VAG;_Cn.i_ n193_a_dick_1952_13->n193_a_dick_1952_14 n193_a_dick_1952_16 NP-OB1 n193_a_dick_1952_13->n193_a_dick_1952_16 n193_a_dick_1952_19 IP-INF-PRD n193_a_dick_1952_13->n193_a_dick_1952_19 n193_a_dick_1952_14->n193_a_dick_1952_15 n193_a_dick_1952_17 NPR n193_a_dick_1952_16->n193_a_dick_1952_17 n193_a_dick_1952_17->n193_a_dick_1952_18 n193_a_dick_1952_20 VB;_phr_Vp_ n193_a_dick_1952_19->n193_a_dick_1952_20 n193_a_dick_1952_22 RP n193_a_dick_1952_19->n193_a_dick_1952_22 n193_a_dick_1952_20->n193_a_dick_1952_21 n193_a_dick_1952_22->n193_a_dick_1952_23 n193_a_dick_1952_24->n193_a_dick_1952_25 
( (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))