Context                Previous, Next                Top


32_a_potter_1902
Peter sat down to rest;

%3 r_0032_0002__sat sat r_0032_0001__Peter Peter r_0032_0002__sat->r_0032_0001__Peter [arg0] r_0032_0003__down down r_0032_0002__sat->r_0032_0003__down [clr] r_0032_0004__to_r_0032_0005__rest to rest r_0032_0004__to_r_0032_0005__rest->r_0032_0001__Peter [arg0] z_000_32_a_potter_1902_10 z_000_32_a_potter_1902_10->r_0032_0002__sat [scope] z_000_32_a_potter_1902_10->r_0032_0004__to_r_0032_0005__rest [restriction] 
arc(r_0032_0002__sat, r_0032_0001__Peter, arg0).
arc(r_0032_0002__sat, r_0032_0003__down, clr7).
arc(r_0032_0004__to_r_0032_0005__rest, r_0032_0001__Peter, arg0).
arc(z_000_32_a_potter_1902_10, r_0032_0002__sat, scope).
arc(z_000_32_a_potter_1902_10, r_0032_0004__to_r_0032_0005__rest, restriction).


%3 r_0032_0002__sat sat r_0032_0001__Peter Peter r_0032_0002__sat->r_0032_0001__Peter [arg0] r_0032_0003__down down r_0032_0002__sat->r_0032_0003__down [clr] r_0032_0004__to_r_0032_0005__rest to rest r_0032_0004__to_r_0032_0005__rest->r_0032_0001__Peter [arg0] z_000_32_a_potter_1902_10 z_000_32_a_potter_1902_10->r_0032_0002__sat [conj2] z_000_32_a_potter_1902_10->r_0032_0004__to_r_0032_0005__rest [conj1] 
fof(formula,axiom,
    ? [Z_32_A_POTTER_1902_10,R_32_4_TO_REST,R_32_2_SAT,R_32_1_PETER,R_32_3_DOWN] :
      ( peter(R_32_1_PETER)
      & down(R_32_3_DOWN)
      & z_32_a_potter_1902_10(Z_32_A_POTTER_1902_10)
      & conj1(Z_32_A_POTTER_1902_10,R_32_4_TO_REST)
      & to_rest(R_32_4_TO_REST,R_32_1_PETER)
      & conj2(Z_32_A_POTTER_1902_10,R_32_2_SAT)
      & sat(R_32_2_SAT,R_32_1_PETER)
      & clr7(R_32_2_SAT,R_32_3_DOWN) ) ).


n32_a_potter_1902 n32_a_potter_1902_4 Peter n32_a_potter_1902_6 sat n32_a_potter_1902_9 down n32_a_potter_1902_13 to n32_a_potter_1902_15 rest n32_a_potter_1902_17 ; n32_a_potter_1902_1 IP-MAT n32_a_potter_1902_2 NP-SBJ n32_a_potter_1902_1->n32_a_potter_1902_2 n32_a_potter_1902_5 VBD;_Ip_ n32_a_potter_1902_1->n32_a_potter_1902_5 n32_a_potter_1902_7 ADVP-CLR n32_a_potter_1902_1->n32_a_potter_1902_7 n32_a_potter_1902_10 PP-SCON n32_a_potter_1902_1->n32_a_potter_1902_10 n32_a_potter_1902_16 PUNC n32_a_potter_1902_1->n32_a_potter_1902_16 n32_a_potter_1902_3 NPR n32_a_potter_1902_2->n32_a_potter_1902_3 n32_a_potter_1902_3->n32_a_potter_1902_4 n32_a_potter_1902_5->n32_a_potter_1902_6 n32_a_potter_1902_8 RP n32_a_potter_1902_7->n32_a_potter_1902_8 n32_a_potter_1902_8->n32_a_potter_1902_9 n32_a_potter_1902_11 IP-INF2 n32_a_potter_1902_10->n32_a_potter_1902_11 n32_a_potter_1902_12 TO n32_a_potter_1902_11->n32_a_potter_1902_12 n32_a_potter_1902_14 VB;_I_ n32_a_potter_1902_11->n32_a_potter_1902_14 n32_a_potter_1902_12->n32_a_potter_1902_13 n32_a_potter_1902_14->n32_a_potter_1902_15 n32_a_potter_1902_16->n32_a_potter_1902_17 
( (IP-MAT (NP-SBJ;{PETER} (NPR Peter;{Peter}))
          (VBD;_Ip_ sat;{sit[down]})
          (ADVP-CLR (RP down;{down}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_I_ rest;{rest})))
          (PUNC ;))
  (ID 32_a_potter_1902))