Context                Previous, Next                Top


23_a_potter_1902
Presently Peter sneezed — ‘Kertyschoo!’

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))


%3 r_0023_0003__sneezed sneezed r_0023_0006__Kertyschoo Kertyschoo r_0023_0003__sneezed->r_0023_0006__Kertyschoo [prn] 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] 
arc(r_0023_0003__sneezed,r_0023_0001__Presently,nim).
arc(r_0023_0003__sneezed,r_0023_0002__Peter,arg0).
arc(r_0023_0003__sneezed,r_0023_0006__Kertyschoo,prn).


%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] r_0023_0006__Kertyschoo Kertyschoo r_0023_0003__sneezed->r_0023_0006__Kertyschoo [prn] 
fof(formula,axiom,
    ? [R_0023_0001__PRESENTLY,R_0023_0002__PETER,R_0023_0006__KERTYSCHOO,R_0023_0003__SNEEZED] :
      ( r_0023_0001__Presently(R_0023_0001__PRESENTLY)
      & r_0023_0002__Peter(R_0023_0002__PETER)
      & r_0023_0006__Kertyschoo(R_0023_0006__KERTYSCHOO)
      & r_0023_0003__sneezed(R_0023_0003__SNEEZED)
      & has_prn(R_0023_0003__SNEEZED,R_0023_0006__KERTYSCHOO)
      & has_arg0(R_0023_0003__SNEEZED,R_0023_0002__PETER)
      & has_nim(R_0023_0003__SNEEZED,R_0023_0001__PRESENTLY) ) ).