Context                Previous, Next                Top


36_a_genieus
The king looked at the genie.

n36_a_genieus n36_a_genieus__1_1_1_1 The n36_a_genieus__1_1_2_1 king n36_a_genieus__1_2_1 looked n36_a_genieus__1_3_1_1 at n36_a_genieus__1_3_2_1_1 the n36_a_genieus__1_3_2_2_1 genie n36_a_genieus__1_4_1 . n36_a_genieus__1 IP-MAT n36_a_genieus__1_1 NP-SBJ n36_a_genieus__1->n36_a_genieus__1_1 n36_a_genieus__1_2 VBD;_Ipr_ n36_a_genieus__1->n36_a_genieus__1_2 n36_a_genieus__1_3 PP-CLR n36_a_genieus__1->n36_a_genieus__1_3 n36_a_genieus__1_4 PUNC n36_a_genieus__1->n36_a_genieus__1_4 n36_a_genieus__1_1_1 D n36_a_genieus__1_1->n36_a_genieus__1_1_1 n36_a_genieus__1_1_2 N n36_a_genieus__1_1->n36_a_genieus__1_1_2 n36_a_genieus__1_1_1->n36_a_genieus__1_1_1_1 n36_a_genieus__1_1_2->n36_a_genieus__1_1_2_1 n36_a_genieus__1_2->n36_a_genieus__1_2_1 n36_a_genieus__1_3_1 P-ROLE n36_a_genieus__1_3->n36_a_genieus__1_3_1 n36_a_genieus__1_3_2 NP n36_a_genieus__1_3->n36_a_genieus__1_3_2 n36_a_genieus__1_3_1->n36_a_genieus__1_3_1_1 n36_a_genieus__1_3_2_1 D n36_a_genieus__1_3_2->n36_a_genieus__1_3_2_1 n36_a_genieus__1_3_2_2 N n36_a_genieus__1_3_2->n36_a_genieus__1_3_2_2 n36_a_genieus__1_3_2_1->n36_a_genieus__1_3_2_1_1 n36_a_genieus__1_3_2_2->n36_a_genieus__1_3_2_2_1 n36_a_genieus__1_4->n36_a_genieus__1_4_1 
( (IP-MAT (NP-SBJ;{KING} (D The;{the})
                         (N king;{king}))
          (VBD;_Ipr_ looked;{look[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP;{GENIE} (D the;{the})
                              (N genie;{genie})))
          (PUNC .))
  (ID 36_a_genieus))


%3 r_0036_0003__looked_r_0036_0004__at looked at r_0036_0005__the_r_0036_0006__genie the genie r_0036_0003__looked_r_0036_0004__at->r_0036_0005__the_r_0036_0006__genie [arg1] r_0036_0001__The_r_0036_0002__king The king r_0036_0003__looked_r_0036_0004__at->r_0036_0001__The_r_0036_0002__king [arg0] 
arc(r_0036_0003__looked_r_0036_0004__at,r_0036_0001__The_r_0036_0002__king,arg0).
arc(r_0036_0003__looked_r_0036_0004__at,r_0036_0005__the_r_0036_0006__genie,arg1).


%3 r_0036_0003__looked_r_0036_0004__at looked at r_0036_0001__The_r_0036_0002__king The king r_0036_0003__looked_r_0036_0004__at->r_0036_0001__The_r_0036_0002__king [arg0] r_0036_0005__the_r_0036_0006__genie the genie r_0036_0003__looked_r_0036_0004__at->r_0036_0005__the_r_0036_0006__genie [arg1] 
fof(formula,axiom,
    ? [R_0036_0001__THE_R_0036_0002__KING,R_0036_0005__THE_R_0036_0006__GENIE,R_0036_0003__LOOKED_R_0036_0004__AT] :
      ( r_0036_0001__The_r_0036_0002__king(R_0036_0001__THE_R_0036_0002__KING)
      & r_0036_0005__the_r_0036_0006__genie(R_0036_0005__THE_R_0036_0006__GENIE)
      & r_0036_0003__looked_r_0036_0004__at(R_0036_0003__LOOKED_R_0036_0004__AT)
      & has_arg1(R_0036_0003__LOOKED_R_0036_0004__AT,R_0036_0005__THE_R_0036_0006__GENIE)
      & has_arg0(R_0036_0003__LOOKED_R_0036_0004__AT,R_0036_0001__THE_R_0036_0002__KING) ) ).