Context                Previous, Next                Top


552_a_dick_1952
He began to laugh.

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


%3 r_0552_0002__began_r_0552_0003__to_r_0552_0004__laugh began to laugh r_0552_0001__He He r_0552_0002__began_r_0552_0003__to_r_0552_0004__laugh->r_0552_0001__He [arg0] 
fof(formula,axiom,
    ? [R_552_2_BEGAN_TO_LAUGH,R_552_1_HE] :
      ( he(R_552_1_HE)
      & began_to_laugh(R_552_2_BEGAN_TO_LAUGH,R_552_1_HE) ) ).


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