Context                Previous, Next                Top


170_a_dick_1952
Dorle caught up with Nasha.

n170_a_dick_1952 n170_a_dick_1952__1_1_1_1 Dorle n170_a_dick_1952__1_2_1 caught n170_a_dick_1952__1_3_1 up n170_a_dick_1952__1_4_1_1 with n170_a_dick_1952__1_4_2_1_1 Nasha n170_a_dick_1952__1_5_1 . n170_a_dick_1952__1 IP-MAT n170_a_dick_1952__1_1 NP-SBJ n170_a_dick_1952__1->n170_a_dick_1952__1_1 n170_a_dick_1952__1_2 VBD;_phr_Vp_ n170_a_dick_1952__1->n170_a_dick_1952__1_2 n170_a_dick_1952__1_3 RP n170_a_dick_1952__1->n170_a_dick_1952__1_3 n170_a_dick_1952__1_4 PP-NIM n170_a_dick_1952__1->n170_a_dick_1952__1_4 n170_a_dick_1952__1_5 PUNC n170_a_dick_1952__1->n170_a_dick_1952__1_5 n170_a_dick_1952__1_1_1 NPR n170_a_dick_1952__1_1->n170_a_dick_1952__1_1_1 n170_a_dick_1952__1_1_1->n170_a_dick_1952__1_1_1_1 n170_a_dick_1952__1_2->n170_a_dick_1952__1_2_1 n170_a_dick_1952__1_3->n170_a_dick_1952__1_3_1 n170_a_dick_1952__1_4_1 P-ROLE n170_a_dick_1952__1_4->n170_a_dick_1952__1_4_1 n170_a_dick_1952__1_4_2 NP n170_a_dick_1952__1_4->n170_a_dick_1952__1_4_2 n170_a_dick_1952__1_4_1->n170_a_dick_1952__1_4_1_1 n170_a_dick_1952__1_4_2_1 NPR n170_a_dick_1952__1_4_2->n170_a_dick_1952__1_4_2_1 n170_a_dick_1952__1_4_2_1->n170_a_dick_1952__1_4_2_1_1 n170_a_dick_1952__1_5->n170_a_dick_1952__1_5_1 
( (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))


%3 r_0170_0002__caught_r_0170_0003__up caught up r_0170_0005__Nasha Nasha r_0170_0002__caught_r_0170_0003__up->r_0170_0005__Nasha with [nim] r_0170_0001__Dorle Dorle r_0170_0002__caught_r_0170_0003__up->r_0170_0001__Dorle [arg0] 
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__nim).


%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_0170_0001__DORLE,R_0170_0005__NASHA,R_0170_0002__CAUGHT_R_0170_0003__UP] :
      ( r_0170_0001__Dorle(R_0170_0001__DORLE)
      & r_0170_0005__Nasha(R_0170_0005__NASHA)
      & r_0170_0002__caught_r_0170_0003__up(R_0170_0002__CAUGHT_R_0170_0003__UP)
      & has_r_0170_0004__with__nim(R_0170_0002__CAUGHT_R_0170_0003__UP,R_0170_0005__NASHA)
      & has_arg0(R_0170_0002__CAUGHT_R_0170_0003__UP,R_0170_0001__DORLE) ) ).