Context                Previous, Next                Top


8_a_genieus
The king chuckled.

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


%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_0008_0001__THE_R_0008_0002__KING,R_0008_0003__CHUCKLED] :
      ( r_0008_0001__The_r_0008_0002__king(R_0008_0001__THE_R_0008_0002__KING)
      & r_0008_0003__chuckled(R_0008_0003__CHUCKLED)
      & has_arg0(R_0008_0003__CHUCKLED,R_0008_0001__THE_R_0008_0002__KING) ) ).