323_a_dick_1952
Dorle laughed.
arc(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) ) ).
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
(VBD;_I_ laughed;{laugh})
(PUNC .))
(ID 323_a_dick_1952))