Context                Previous, Next                Top


12_a_potter_1902
and then he ate some radishes;

%3 r_0012_0001__and_r_0012_0004__ate and ate r_0012_0002__then then r_0012_0001__and_r_0012_0004__ate->r_0012_0002__then [nim] r_0012_0003__he he r_0012_0001__and_r_0012_0004__ate->r_0012_0003__he [arg0] r_0012_0005__some_r_0012_0006__radishes some radishes r_0012_0001__and_r_0012_0004__ate->r_0012_0005__some_r_0012_0006__radishes [arg1] 
arc(r_0012_0001__and_r_0012_0004__ate, r_0012_0002__then, nim4).
arc(r_0012_0001__and_r_0012_0004__ate, r_0012_0003__he, arg0).
arc(r_0012_0001__and_r_0012_0004__ate, r_0012_0005__some_r_0012_0006__radishes, arg1).


%3 r_0012_0001__and_r_0012_0004__ate and ate r_0012_0002__then then r_0012_0001__and_r_0012_0004__ate->r_0012_0002__then [nim] r_0012_0003__he he r_0012_0001__and_r_0012_0004__ate->r_0012_0003__he [arg0] r_0012_0005__some_r_0012_0006__radishes some radishes r_0012_0001__and_r_0012_0004__ate->r_0012_0005__some_r_0012_0006__radishes [arg1] 
fof(formula,axiom,
    ? [R_12_1_AND_ATE,R_12_3_HE,R_12_5_SOME_RADISHES,R_12_2_THEN] :
      ( he(R_12_3_HE)
      & some_radishes(R_12_5_SOME_RADISHES)
      & then(R_12_2_THEN)
      & and_ate(R_12_1_AND_ATE,R_12_3_HE,R_12_5_SOME_RADISHES)
      & nim4(R_12_1_AND_ATE,R_12_2_THEN) ) ).


n12_a_potter_1902 n12_a_potter_1902_3 and n12_a_potter_1902_6 then n12_a_potter_1902_9 he n12_a_potter_1902_11 ate n12_a_potter_1902_14 some n12_a_potter_1902_16 radishes n12_a_potter_1902_18 ; n12_a_potter_1902_1 IP-MAT n12_a_potter_1902_2 CONJ;_cl_ n12_a_potter_1902_1->n12_a_potter_1902_2 n12_a_potter_1902_4 ADVP-NIM n12_a_potter_1902_1->n12_a_potter_1902_4 n12_a_potter_1902_7 NP-SBJ n12_a_potter_1902_1->n12_a_potter_1902_7 n12_a_potter_1902_10 VBD;_Tn_ n12_a_potter_1902_1->n12_a_potter_1902_10 n12_a_potter_1902_12 NP-OB1 n12_a_potter_1902_1->n12_a_potter_1902_12 n12_a_potter_1902_17 PUNC n12_a_potter_1902_1->n12_a_potter_1902_17 n12_a_potter_1902_2->n12_a_potter_1902_3 n12_a_potter_1902_5 ADV n12_a_potter_1902_4->n12_a_potter_1902_5 n12_a_potter_1902_5->n12_a_potter_1902_6 n12_a_potter_1902_8 PRO n12_a_potter_1902_7->n12_a_potter_1902_8 n12_a_potter_1902_8->n12_a_potter_1902_9 n12_a_potter_1902_10->n12_a_potter_1902_11 n12_a_potter_1902_13 D n12_a_potter_1902_12->n12_a_potter_1902_13 n12_a_potter_1902_15 NS n12_a_potter_1902_12->n12_a_potter_1902_15 n12_a_potter_1902_13->n12_a_potter_1902_14 n12_a_potter_1902_15->n12_a_potter_1902_16 n12_a_potter_1902_17->n12_a_potter_1902_18 
( (IP-MAT (CONJ;_cl_ and;{and})
          (ADVP-NIM (ADV then;{then}))
          (NP-SBJ;{PETER} (PRO he;{he}))
          (VBD;_Tn_ ate;{eat})
          (NP-OB1 (D some;{some})
                  (NS radishes;{radish}))
          (PUNC ;))
  (ID 12_a_potter_1902))