552_a_dick_1952
He began to laugh.

n552_a_dick_1952 n552_a_dick_1952__1_1_1_1 He n552_a_dick_1952__1_2_1 began n552_a_dick_1952__1_3_1_1 to n552_a_dick_1952__1_3_2_1 laugh n552_a_dick_1952__1_4_1 . n552_a_dick_1952__1 IP-MAT n552_a_dick_1952__1_1 NP-SBJ n552_a_dick_1952__1->n552_a_dick_1952__1_1 n552_a_dick_1952__1_2 VBD;_cat_Vt_ n552_a_dick_1952__1->n552_a_dick_1952__1_2 n552_a_dick_1952__1_3 IP-INF-CAT n552_a_dick_1952__1->n552_a_dick_1952__1_3 n552_a_dick_1952__1_4 PUNC n552_a_dick_1952__1->n552_a_dick_1952__1_4 n552_a_dick_1952__1_1_1 PRO n552_a_dick_1952__1_1->n552_a_dick_1952__1_1_1 n552_a_dick_1952__1_1_1->n552_a_dick_1952__1_1_1_1 n552_a_dick_1952__1_2->n552_a_dick_1952__1_2_1 n552_a_dick_1952__1_3_1 TO n552_a_dick_1952__1_3->n552_a_dick_1952__1_3_1 n552_a_dick_1952__1_3_2 VB;_I_ n552_a_dick_1952__1_3->n552_a_dick_1952__1_3_2 n552_a_dick_1952__1_3_1->n552_a_dick_1952__1_3_1_1 n552_a_dick_1952__1_3_2->n552_a_dick_1952__1_3_2_1 n552_a_dick_1952__1_4->n552_a_dick_1952__1_4_1
( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_I_ laugh;{laugh}))
          (PUNC .))
  (ID 552_a_dick_1952))



%3 r_0552_0004__laugh laugh r_0552_0001__He He r_0552_0004__laugh->r_0552_0001__He [arg0] r_0552_0002__began began r_0552_0002__began->r_0552_0004__laugh [scope]
arc(r_0552_0002__began,r_0552_0004__laugh,scope).
arc(r_0552_0004__laugh,r_0552_0001__He,arg0).



%3 r_0552_0002__began_r_0552_0004__laugh began laugh r_0552_0001__He He r_0552_0002__began_r_0552_0004__laugh->r_0552_0001__He [arg0]
fof(formula,axiom,
    ? [R_0552_0001__HE,R_0552_0002__BEGAN_R_0552_0004__LAUGH] :
      ( r_0552_0001__He(R_0552_0001__HE)
      & r_0552_0002__began_r_0552_0004__laugh(R_0552_0002__BEGAN_R_0552_0004__LAUGH)
      & has_arg0(R_0552_0002__BEGAN_R_0552_0004__LAUGH,R_0552_0001__HE) ) ).