535_a_dick_1952
Nasha began to laugh.

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))



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



%3 r_0535_0002__began_r_0535_0004__laugh began laugh r_0535_0001__Nasha Nasha r_0535_0002__began_r_0535_0004__laugh->r_0535_0001__Nasha [arg0]
fof(formula,axiom,
    ? [R_0535_0001__NASHA,R_0535_0002__BEGAN_R_0535_0004__LAUGH] :
      ( r_0535_0001__Nasha(R_0535_0001__NASHA)
      & r_0535_0002__began_r_0535_0004__laugh(R_0535_0002__BEGAN_R_0535_0004__LAUGH)
      & has_arg0(R_0535_0002__BEGAN_R_0535_0004__LAUGH,R_0535_0001__NASHA) ) ).