Context                Previous, Next                Top


535_a_dick_1952
Nasha began to laugh.

%3 r_0535_0002__began began r_0535_0003__to_r_0535_0004__laugh to laugh r_0535_0002__began->r_0535_0003__to_r_0535_0004__laugh [scope] r_0535_0001__Nasha Nasha r_0535_0003__to_r_0535_0004__laugh->r_0535_0001__Nasha [arg0] 
arc(r_0535_0002__began, r_0535_0003__to_r_0535_0004__laugh, scope).
arc(r_0535_0003__to_r_0535_0004__laugh, r_0535_0001__Nasha, arg0).


%3 r_0535_0002__began_r_0535_0003__to_r_0535_0004__laugh began to laugh r_0535_0001__Nasha Nasha r_0535_0002__began_r_0535_0003__to_r_0535_0004__laugh->r_0535_0001__Nasha [arg0] 
fof(formula,axiom,
    ? [R_535_2_BEGAN_TO_LAUGH,R_535_1_NASHA] :
      ( nasha(R_535_1_NASHA)
      & began_to_laugh(R_535_2_BEGAN_TO_LAUGH,R_535_1_NASHA) ) ).


n535_a_dick_1952 n535_a_dick_1952__1_1_1_1 Nasha n535_a_dick_1952__1_2_1 began n535_a_dick_1952__1_3_1_1 to n535_a_dick_1952__1_3_2_1 laugh n535_a_dick_1952__1_4_1 . n535_a_dick_1952__1 IP-MAT n535_a_dick_1952__1_1 NP-SBJ n535_a_dick_1952__1->n535_a_dick_1952__1_1 n535_a_dick_1952__1_2 VBD;_cat_Vt_ n535_a_dick_1952__1->n535_a_dick_1952__1_2 n535_a_dick_1952__1_3 IP-INF-CAT n535_a_dick_1952__1->n535_a_dick_1952__1_3 n535_a_dick_1952__1_4 PUNC n535_a_dick_1952__1->n535_a_dick_1952__1_4 n535_a_dick_1952__1_1_1 NPR n535_a_dick_1952__1_1->n535_a_dick_1952__1_1_1 n535_a_dick_1952__1_1_1->n535_a_dick_1952__1_1_1_1 n535_a_dick_1952__1_2->n535_a_dick_1952__1_2_1 n535_a_dick_1952__1_3_1 TO n535_a_dick_1952__1_3->n535_a_dick_1952__1_3_1 n535_a_dick_1952__1_3_2 VB;_I_ n535_a_dick_1952__1_3->n535_a_dick_1952__1_3_2 n535_a_dick_1952__1_3_1->n535_a_dick_1952__1_3_1_1 n535_a_dick_1952__1_3_2->n535_a_dick_1952__1_3_2_1 n535_a_dick_1952__1_4->n535_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_I_ laugh;{laugh}))
          (PUNC .))
  (ID 535_a_dick_1952))