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 z_000_193_a_dick_1952_12 r_0193_0005__letting letting z_000_193_a_dick_1952_12->r_0193_0005__letting [conj1] r_0193_0002__stopped_r_0193_0003__walking stopped walking z_000_193_a_dick_1952_12->r_0193_0002__stopped_r_0193_0003__walking [conj2] r_0193_0007__catch_r_0193_0008__up catch up r_0193_0005__letting->r_0193_0007__catch_r_0193_0008__up [prd] r_0193_0006__Tance Tance r_0193_0005__letting->r_0193_0006__Tance [arg1] r_0193_0001__They They r_0193_0005__letting->r_0193_0001__They [arg0] r_0193_0002__stopped_r_0193_0003__walking->r_0193_0001__They [arg0] x_000_193_a_dick_1952_19 __ r_0193_0007__catch_r_0193_0008__up->x_000_193_a_dick_1952_19 [arg0] 
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__1_1_1_1 They n193_a_dick_1952__1_2_1 stopped n193_a_dick_1952__1_3_1_1 walking n193_a_dick_1952__1_4_1 , n193_a_dick_1952__1_5_1_1_1 letting n193_a_dick_1952__1_5_1_2_1_1 Tance n193_a_dick_1952__1_5_1_3_1_1 catch n193_a_dick_1952__1_5_1_3_2_1 up n193_a_dick_1952__1_6_1 . n193_a_dick_1952__1 IP-MAT n193_a_dick_1952__1_1 NP-SBJ n193_a_dick_1952__1->n193_a_dick_1952__1_1 n193_a_dick_1952__1_2 VBD;_cat_Vg_ n193_a_dick_1952__1->n193_a_dick_1952__1_2 n193_a_dick_1952__1_3 IP-PPL-CAT n193_a_dick_1952__1->n193_a_dick_1952__1_3 n193_a_dick_1952__1_4 PUNC n193_a_dick_1952__1->n193_a_dick_1952__1_4 n193_a_dick_1952__1_5 PP-SCON n193_a_dick_1952__1->n193_a_dick_1952__1_5 n193_a_dick_1952__1_6 PUNC n193_a_dick_1952__1->n193_a_dick_1952__1_6 n193_a_dick_1952__1_1_1 PRO n193_a_dick_1952__1_1->n193_a_dick_1952__1_1_1 n193_a_dick_1952__1_1_1->n193_a_dick_1952__1_1_1_1 n193_a_dick_1952__1_2->n193_a_dick_1952__1_2_1 n193_a_dick_1952__1_3_1 VAG;_I_ n193_a_dick_1952__1_3->n193_a_dick_1952__1_3_1 n193_a_dick_1952__1_3_1->n193_a_dick_1952__1_3_1_1 n193_a_dick_1952__1_4->n193_a_dick_1952__1_4_1 n193_a_dick_1952__1_5_1 IP-PPL2 n193_a_dick_1952__1_5->n193_a_dick_1952__1_5_1 n193_a_dick_1952__1_5_1_1 VAG;_Cn.i_ n193_a_dick_1952__1_5_1->n193_a_dick_1952__1_5_1_1 n193_a_dick_1952__1_5_1_2 NP-OB1 n193_a_dick_1952__1_5_1->n193_a_dick_1952__1_5_1_2 n193_a_dick_1952__1_5_1_3 IP-INF-PRD n193_a_dick_1952__1_5_1->n193_a_dick_1952__1_5_1_3 n193_a_dick_1952__1_5_1_1->n193_a_dick_1952__1_5_1_1_1 n193_a_dick_1952__1_5_1_2_1 NPR n193_a_dick_1952__1_5_1_2->n193_a_dick_1952__1_5_1_2_1 n193_a_dick_1952__1_5_1_2_1->n193_a_dick_1952__1_5_1_2_1_1 n193_a_dick_1952__1_5_1_3_1 VB;_phr_Vp_ n193_a_dick_1952__1_5_1_3->n193_a_dick_1952__1_5_1_3_1 n193_a_dick_1952__1_5_1_3_2 RP n193_a_dick_1952__1_5_1_3->n193_a_dick_1952__1_5_1_3_2 n193_a_dick_1952__1_5_1_3_1->n193_a_dick_1952__1_5_1_3_1_1 n193_a_dick_1952__1_5_1_3_2->n193_a_dick_1952__1_5_1_3_2_1 n193_a_dick_1952__1_6->n193_a_dick_1952__1_6_1 
( (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))