Context                Previous, Next                Top


170_a_dick_1952
Dorle caught up with Nasha.

%3 r_0170_0002__caught_r_0170_0003__up caught up r_0170_0001__Dorle Dorle r_0170_0002__caught_r_0170_0003__up->r_0170_0001__Dorle [arg0] r_0170_0005__Nasha Nasha r_0170_0002__caught_r_0170_0003__up->r_0170_0005__Nasha with [nim] 
arc(r_0170_0002__caught_r_0170_0003__up, r_0170_0001__Dorle, arg0).
arc(r_0170_0002__caught_r_0170_0003__up, r_0170_0005__Nasha, r_0170_0004__with_nim12).


%3 r_0170_0002__caught_r_0170_0003__up caught up r_0170_0001__Dorle Dorle r_0170_0002__caught_r_0170_0003__up->r_0170_0001__Dorle [arg0] r_0170_0005__Nasha Nasha r_0170_0002__caught_r_0170_0003__up->r_0170_0005__Nasha with [nim] 
fof(formula,axiom,
    ? [R_170_2_CAUGHT_UP,R_170_1_DORLE,R_170_5_NASHA] :
      ( dorle(R_170_1_DORLE)
      & nasha(R_170_5_NASHA)
      & caught_up(R_170_2_CAUGHT_UP,R_170_1_DORLE)
      & with_nim12(R_170_2_CAUGHT_UP,R_170_5_NASHA) ) ).


n170_a_dick_1952 n170_a_dick_1952_4 Dorle n170_a_dick_1952_6 caught n170_a_dick_1952_8 up n170_a_dick_1952_11 with n170_a_dick_1952_14 Nasha n170_a_dick_1952_16 . n170_a_dick_1952_1 IP-MAT n170_a_dick_1952_2 NP-SBJ n170_a_dick_1952_1->n170_a_dick_1952_2 n170_a_dick_1952_5 VBD;_phr_Vp_ n170_a_dick_1952_1->n170_a_dick_1952_5 n170_a_dick_1952_7 RP n170_a_dick_1952_1->n170_a_dick_1952_7 n170_a_dick_1952_9 PP-NIM n170_a_dick_1952_1->n170_a_dick_1952_9 n170_a_dick_1952_15 PUNC n170_a_dick_1952_1->n170_a_dick_1952_15 n170_a_dick_1952_3 NPR n170_a_dick_1952_2->n170_a_dick_1952_3 n170_a_dick_1952_3->n170_a_dick_1952_4 n170_a_dick_1952_5->n170_a_dick_1952_6 n170_a_dick_1952_7->n170_a_dick_1952_8 n170_a_dick_1952_10 P-ROLE n170_a_dick_1952_9->n170_a_dick_1952_10 n170_a_dick_1952_12 NP n170_a_dick_1952_9->n170_a_dick_1952_12 n170_a_dick_1952_10->n170_a_dick_1952_11 n170_a_dick_1952_13 NPR n170_a_dick_1952_12->n170_a_dick_1952_13 n170_a_dick_1952_13->n170_a_dick_1952_14 n170_a_dick_1952_15->n170_a_dick_1952_16 
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_phr_Vp_ caught;{catch[up]})
          (RP up;{up})
          (PP-NIM (P-ROLE with;{with})
                  (NP;{NASHA} (NPR Nasha;{Nasha})))
          (PUNC .))
  (ID 170_a_dick_1952))