246_a_dick_1952
She laughed.

n246_a_dick_1952 n246_a_dick_1952__1_1_1_1 She n246_a_dick_1952__1_2_1 laughed n246_a_dick_1952__1_3_1 . n246_a_dick_1952__1 IP-MAT n246_a_dick_1952__1_1 NP-SBJ n246_a_dick_1952__1->n246_a_dick_1952__1_1 n246_a_dick_1952__1_2 VBD;_I_ n246_a_dick_1952__1->n246_a_dick_1952__1_2 n246_a_dick_1952__1_3 PUNC n246_a_dick_1952__1->n246_a_dick_1952__1_3 n246_a_dick_1952__1_1_1 PRO n246_a_dick_1952__1_1->n246_a_dick_1952__1_1_1 n246_a_dick_1952__1_1_1->n246_a_dick_1952__1_1_1_1 n246_a_dick_1952__1_2->n246_a_dick_1952__1_2_1 n246_a_dick_1952__1_3->n246_a_dick_1952__1_3_1
( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
          (VBD;_I_ laughed;{laugh})
          (PUNC .))
  (ID 246_a_dick_1952))



%3 r_0246_0002__laughed laughed r_0246_0001__She She r_0246_0002__laughed->r_0246_0001__She [arg0]
arc(r_0246_0002__laughed,r_0246_0001__She,arg0).



%3 r_0246_0002__laughed laughed r_0246_0001__She She r_0246_0002__laughed->r_0246_0001__She [arg0]
fof(formula,axiom,
    ? [R_0246_0001__SHE,R_0246_0002__LAUGHED] :
      ( r_0246_0001__She(R_0246_0001__SHE)
      & r_0246_0002__laughed(R_0246_0002__LAUGHED)
      & has_arg0(R_0246_0002__LAUGHED,R_0246_0001__SHE) ) ).