4_a_stories_11_h38
Mrs Smith went mad.

n4_a_stories_11_h38 n4_a_stories_11_h38__1_1_1_1 Mrs n4_a_stories_11_h38__1_1_2_1 Smith n4_a_stories_11_h38__1_2_1 went n4_a_stories_11_h38__1_3_1_1 mad n4_a_stories_11_h38__1_4_1 . n4_a_stories_11_h38__1 IP-MAT n4_a_stories_11_h38__1_1 NP-SBJ n4_a_stories_11_h38__1->n4_a_stories_11_h38__1_1 n4_a_stories_11_h38__1_2 VBD;_La_ n4_a_stories_11_h38__1->n4_a_stories_11_h38__1_2 n4_a_stories_11_h38__1_3 ADJP-PRD n4_a_stories_11_h38__1->n4_a_stories_11_h38__1_3 n4_a_stories_11_h38__1_4 PUNC n4_a_stories_11_h38__1->n4_a_stories_11_h38__1_4 n4_a_stories_11_h38__1_1_1 N n4_a_stories_11_h38__1_1->n4_a_stories_11_h38__1_1_1 n4_a_stories_11_h38__1_1_2 NPR n4_a_stories_11_h38__1_1->n4_a_stories_11_h38__1_1_2 n4_a_stories_11_h38__1_1_1->n4_a_stories_11_h38__1_1_1_1 n4_a_stories_11_h38__1_1_2->n4_a_stories_11_h38__1_1_2_1 n4_a_stories_11_h38__1_2->n4_a_stories_11_h38__1_2_1 n4_a_stories_11_h38__1_3_1 ADJ n4_a_stories_11_h38__1_3->n4_a_stories_11_h38__1_3_1 n4_a_stories_11_h38__1_3_1->n4_a_stories_11_h38__1_3_1_1 n4_a_stories_11_h38__1_4->n4_a_stories_11_h38__1_4_1
( (IP-MAT (NP-SBJ;{MRS_S} (N Mrs;{mr})
                          (NPR Smith;{Smith}))
          (VBD;_La_ went;{go})
          (ADJP-PRD (ADJ mad;{mad}))
          (PUNC .))
  (ID 4_a_stories_11_h38))



%3 r_0004_0003__went went r_0004_0004__mad mad r_0004_0003__went->r_0004_0004__mad [prd] r_0004_0001__Mrs_r_0004_0002__Smith Mrs Smith r_0004_0003__went->r_0004_0001__Mrs_r_0004_0002__Smith [arg0]
arc(r_0004_0003__went,r_0004_0001__Mrs_r_0004_0002__Smith,arg0).
arc(r_0004_0003__went,r_0004_0004__mad,prd).



%3 r_0004_0003__went went r_0004_0001__Mrs_r_0004_0002__Smith Mrs Smith r_0004_0003__went->r_0004_0001__Mrs_r_0004_0002__Smith [arg0] r_0004_0004__mad mad r_0004_0003__went->r_0004_0004__mad [prd]
fof(formula,axiom,
    ? [R_0004_0001__MRS_R_0004_0002__SMITH,R_0004_0004__MAD,R_0004_0003__WENT] :
      ( r_0004_0001__Mrs_r_0004_0002__Smith(R_0004_0001__MRS_R_0004_0002__SMITH)
      & r_0004_0004__mad(R_0004_0004__MAD)
      & r_0004_0003__went(R_0004_0003__WENT)
      & has_prd(R_0004_0003__WENT,R_0004_0004__MAD)
      & has_arg0(R_0004_0003__WENT,R_0004_0001__MRS_R_0004_0002__SMITH) ) ).