Context                Previous, Next                Top


23_a_potter_1902
Presently Peter sneezed — ‘Kertyschoo!’

%3 r_0023_0003__sneezed sneezed r_0023_0001__Presently Presently r_0023_0003__sneezed->r_0023_0001__Presently [nim] r_0023_0002__Peter Peter r_0023_0003__sneezed->r_0023_0002__Peter [arg0] 
arc(r_0023_0003__sneezed, r_0023_0001__Presently, nim2).
arc(r_0023_0003__sneezed, r_0023_0002__Peter, arg0).


%3 r_0023_0003__sneezed sneezed r_0023_0002__Peter Peter r_0023_0003__sneezed->r_0023_0002__Peter [arg0] r_0023_0001__Presently Presently r_0023_0003__sneezed->r_0023_0001__Presently [nim] 
fof(formula,axiom,
    ? [R_23_3_SNEEZED,R_23_2_PETER,R_23_1_PRESENTLY] :
      ( peter(R_23_2_PETER)
      & presently(R_23_1_PRESENTLY)
      & sneezed(R_23_3_SNEEZED,R_23_2_PETER)
      & nim2(R_23_3_SNEEZED,R_23_1_PRESENTLY) ) ).


n23_a_potter_1902 n23_a_potter_1902__1_1_1_1 Presently n23_a_potter_1902__1_2_1_1 Peter n23_a_potter_1902__1_3_1 sneezed n23_a_potter_1902__1_4_1 <mdash> n23_a_potter_1902__1_5_1 <lquo> n23_a_potter_1902__1_6_1_1_1 Kertyschoo n23_a_potter_1902__1_7_1 ! n23_a_potter_1902__1_8_1 <rquo> n23_a_potter_1902__1 IP-MAT n23_a_potter_1902__1_1 ADVP-NIM n23_a_potter_1902__1->n23_a_potter_1902__1_1 n23_a_potter_1902__1_2 NP-SBJ n23_a_potter_1902__1->n23_a_potter_1902__1_2 n23_a_potter_1902__1_3 VBD;_I_ n23_a_potter_1902__1->n23_a_potter_1902__1_3 n23_a_potter_1902__1_4 PUNC n23_a_potter_1902__1->n23_a_potter_1902__1_4 n23_a_potter_1902__1_5 PULQ n23_a_potter_1902__1->n23_a_potter_1902__1_5 n23_a_potter_1902__1_6 PRN n23_a_potter_1902__1->n23_a_potter_1902__1_6 n23_a_potter_1902__1_7 PUNC n23_a_potter_1902__1->n23_a_potter_1902__1_7 n23_a_potter_1902__1_8 PURQ n23_a_potter_1902__1->n23_a_potter_1902__1_8 n23_a_potter_1902__1_1_1 ADV n23_a_potter_1902__1_1->n23_a_potter_1902__1_1_1 n23_a_potter_1902__1_1_1->n23_a_potter_1902__1_1_1_1 n23_a_potter_1902__1_2_1 NPR n23_a_potter_1902__1_2->n23_a_potter_1902__1_2_1 n23_a_potter_1902__1_2_1->n23_a_potter_1902__1_2_1_1 n23_a_potter_1902__1_3->n23_a_potter_1902__1_3_1 n23_a_potter_1902__1_4->n23_a_potter_1902__1_4_1 n23_a_potter_1902__1_5->n23_a_potter_1902__1_5_1 n23_a_potter_1902__1_6_1 NP n23_a_potter_1902__1_6->n23_a_potter_1902__1_6_1 n23_a_potter_1902__1_6_1_1 FW n23_a_potter_1902__1_6_1->n23_a_potter_1902__1_6_1_1 n23_a_potter_1902__1_6_1_1->n23_a_potter_1902__1_6_1_1_1 n23_a_potter_1902__1_7->n23_a_potter_1902__1_7_1 n23_a_potter_1902__1_8->n23_a_potter_1902__1_8_1 
( (IP-MAT (ADVP-NIM (ADV Presently;{presently}))
          (NP-SBJ;{PETER} (NPR Peter;{Peter}))
          (VBD;_I_ sneezed;{sneeze})
          (PUNC <mdash>)
          (PULQ <lquo>)
          (PRN (NP (FW Kertyschoo)))
          (PUNC !)
          (PURQ <rquo>))
  (ID 23_a_potter_1902))