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_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_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_4 Mrs n4_a_stories_11_h38_6 Smith n4_a_stories_11_h38_8 went n4_a_stories_11_h38_11 mad n4_a_stories_11_h38_13 . n4_a_stories_11_h38_1 IP-MAT n4_a_stories_11_h38_2 NP-SBJ n4_a_stories_11_h38_1->n4_a_stories_11_h38_2 n4_a_stories_11_h38_7 VBD;_La_ n4_a_stories_11_h38_1->n4_a_stories_11_h38_7 n4_a_stories_11_h38_9 ADJP-PRD n4_a_stories_11_h38_1->n4_a_stories_11_h38_9 n4_a_stories_11_h38_12 PUNC n4_a_stories_11_h38_1->n4_a_stories_11_h38_12 n4_a_stories_11_h38_3 N n4_a_stories_11_h38_2->n4_a_stories_11_h38_3 n4_a_stories_11_h38_5 NPR n4_a_stories_11_h38_2->n4_a_stories_11_h38_5 n4_a_stories_11_h38_3->n4_a_stories_11_h38_4 n4_a_stories_11_h38_5->n4_a_stories_11_h38_6 n4_a_stories_11_h38_7->n4_a_stories_11_h38_8 n4_a_stories_11_h38_10 ADJ n4_a_stories_11_h38_9->n4_a_stories_11_h38_10 n4_a_stories_11_h38_10->n4_a_stories_11_h38_11 n4_a_stories_11_h38_12->n4_a_stories_11_h38_13 
( (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))