Context                Previous, Next                Top


8_a_genieus
The king chuckled.

%3 r_0008_0003__chuckled chuckled r_0008_0001__The_r_0008_0002__king The king r_0008_0003__chuckled->r_0008_0001__The_r_0008_0002__king [arg0] 
arc(r_0008_0003__chuckled, r_0008_0001__The_r_0008_0002__king, arg0).


%3 r_0008_0003__chuckled chuckled r_0008_0001__The_r_0008_0002__king The king r_0008_0003__chuckled->r_0008_0001__The_r_0008_0002__king [arg0] 
fof(formula,axiom,
    ? [R_8_3_CHUCKLED,R_8_1_THE_KING] :
      ( the_king(R_8_1_THE_KING)
      & chuckled(R_8_3_CHUCKLED,R_8_1_THE_KING) ) ).


n8_a_genieus n8_a_genieus__1_1_1_1 The n8_a_genieus__1_1_2_1 king n8_a_genieus__1_2_1 chuckled n8_a_genieus__1_3_1 . n8_a_genieus__1 IP-MAT n8_a_genieus__1_1 NP-SBJ n8_a_genieus__1->n8_a_genieus__1_1 n8_a_genieus__1_2 VBD;_I_ n8_a_genieus__1->n8_a_genieus__1_2 n8_a_genieus__1_3 PUNC n8_a_genieus__1->n8_a_genieus__1_3 n8_a_genieus__1_1_1 D n8_a_genieus__1_1->n8_a_genieus__1_1_1 n8_a_genieus__1_1_2 N n8_a_genieus__1_1->n8_a_genieus__1_1_2 n8_a_genieus__1_1_1->n8_a_genieus__1_1_1_1 n8_a_genieus__1_1_2->n8_a_genieus__1_1_2_1 n8_a_genieus__1_2->n8_a_genieus__1_2_1 n8_a_genieus__1_3->n8_a_genieus__1_3_1 
( (IP-MAT (NP-SBJ;{KING} (D The;{the})
                         (N king;{king}))
          (VBD;_I_ chuckled;{chuckle})
          (PUNC .))
  (ID 8_a_genieus))