Context                Previous, Next                Top


4_a_stories_11_h38
Mrs Smith went mad.

%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] 
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_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] 
fof(formula,axiom,
    ? [R_4_3_WENT,R_4_1_MRS_SMITH,R_4_4_MAD] :
      ( mrs_Smith(R_4_1_MRS_SMITH)
      & mad(R_4_4_MAD)
      & went(R_4_3_WENT,R_4_1_MRS_SMITH,R_4_4_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))