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_4 Nasha n535_a_dick_1952_6 began n535_a_dick_1952_9 to n535_a_dick_1952_11 laugh n535_a_dick_1952_13 . n535_a_dick_1952_1 IP-MAT n535_a_dick_1952_2 NP-SBJ n535_a_dick_1952_1->n535_a_dick_1952_2 n535_a_dick_1952_5 VBD;_cat_Vt_ n535_a_dick_1952_1->n535_a_dick_1952_5 n535_a_dick_1952_7 IP-INF-CAT n535_a_dick_1952_1->n535_a_dick_1952_7 n535_a_dick_1952_12 PUNC n535_a_dick_1952_1->n535_a_dick_1952_12 n535_a_dick_1952_3 NPR n535_a_dick_1952_2->n535_a_dick_1952_3 n535_a_dick_1952_3->n535_a_dick_1952_4 n535_a_dick_1952_5->n535_a_dick_1952_6 n535_a_dick_1952_8 TO n535_a_dick_1952_7->n535_a_dick_1952_8 n535_a_dick_1952_10 VB;_I_ n535_a_dick_1952_7->n535_a_dick_1952_10 n535_a_dick_1952_8->n535_a_dick_1952_9 n535_a_dick_1952_10->n535_a_dick_1952_11 n535_a_dick_1952_12->n535_a_dick_1952_13
( (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))