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_4 The n8_a_genieus_6 king n8_a_genieus_8 chuckled n8_a_genieus_10 . n8_a_genieus_1 IP-MAT n8_a_genieus_2 NP-SBJ n8_a_genieus_1->n8_a_genieus_2 n8_a_genieus_7 VBD;_I_ n8_a_genieus_1->n8_a_genieus_7 n8_a_genieus_9 PUNC n8_a_genieus_1->n8_a_genieus_9 n8_a_genieus_3 D n8_a_genieus_2->n8_a_genieus_3 n8_a_genieus_5 N n8_a_genieus_2->n8_a_genieus_5 n8_a_genieus_3->n8_a_genieus_4 n8_a_genieus_5->n8_a_genieus_6 n8_a_genieus_7->n8_a_genieus_8 n8_a_genieus_9->n8_a_genieus_10 
( (IP-MAT (NP-SBJ;{KING} (D The;{the})
                         (N king;{king}))
          (VBD;_I_ chuckled;{chuckle})
          (PUNC .))
  (ID 8_a_genieus))