246_a_dick_1952
She laughed.

%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_246_2_LAUGHED,R_246_1_SHE] :
      ( she(R_246_1_SHE)
      & laughed(R_246_2_LAUGHED,R_246_1_SHE) ) ).



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