323_a_dick_1952
Dorle laughed.

n323_a_dick_1952 n323_a_dick_1952__1_1_1_1 Dorle n323_a_dick_1952__1_2_1 laughed n323_a_dick_1952__1_3_1 . n323_a_dick_1952__1 IP-MAT n323_a_dick_1952__1_1 NP-SBJ n323_a_dick_1952__1->n323_a_dick_1952__1_1 n323_a_dick_1952__1_2 VBD;_I_ n323_a_dick_1952__1->n323_a_dick_1952__1_2 n323_a_dick_1952__1_3 PUNC n323_a_dick_1952__1->n323_a_dick_1952__1_3 n323_a_dick_1952__1_1_1 NPR n323_a_dick_1952__1_1->n323_a_dick_1952__1_1_1 n323_a_dick_1952__1_1_1->n323_a_dick_1952__1_1_1_1 n323_a_dick_1952__1_2->n323_a_dick_1952__1_2_1 n323_a_dick_1952__1_3->n323_a_dick_1952__1_3_1
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_I_ laughed;{laugh})
          (PUNC .))
  (ID 323_a_dick_1952))



%3 r_0323_0002__laughed laughed r_0323_0001__Dorle Dorle r_0323_0002__laughed->r_0323_0001__Dorle [arg0]
arc(r_0323_0002__laughed,r_0323_0001__Dorle,arg0).



%3 r_0323_0002__laughed laughed r_0323_0001__Dorle Dorle r_0323_0002__laughed->r_0323_0001__Dorle [arg0]
fof(formula,axiom,
    ? [R_0323_0001__DORLE,R_0323_0002__LAUGHED] :
      ( r_0323_0001__Dorle(R_0323_0001__DORLE)
      & r_0323_0002__laughed(R_0323_0002__LAUGHED)
      & has_arg0(R_0323_0002__LAUGHED,R_0323_0001__DORLE) ) ).