Context                Previous, Next                Top


38_a_genieus
The king looked at the genie.

%3 r_0038_0003__looked looked r_0038_0001__The_r_0038_0002__king The king r_0038_0003__looked->r_0038_0001__The_r_0038_0002__king [arg0] r_0038_0005__the_r_0038_0006__genie the genie r_0038_0003__looked->r_0038_0005__the_r_0038_0006__genie at [clr] 
arc(r_0038_0003__looked, r_0038_0001__The_r_0038_0002__king, arg0).
arc(r_0038_0003__looked, r_0038_0005__the_r_0038_0006__genie, r_0038_0004__at_clr12).


%3 r_0038_0003__looked looked r_0038_0005__the_r_0038_0006__genie the genie r_0038_0003__looked->r_0038_0005__the_r_0038_0006__genie at [clr] r_0038_0001__The_r_0038_0002__king The king r_0038_0003__looked->r_0038_0001__The_r_0038_0002__king [arg0] 
fof(formula,axiom,
    ? [R_0038_0001__THE_R_0038_0002__KING,R_0038_0005__THE_R_0038_0006__GENIE,R_0038_0003__LOOKED] :
      ( r_0038_0001__The_r_0038_0002__king(R_0038_0001__THE_R_0038_0002__KING)
      & r_0038_0005__the_r_0038_0006__genie(R_0038_0005__THE_R_0038_0006__GENIE)
      & r_0038_0003__looked(R_0038_0003__LOOKED)
      & has_r_0038_0004__at_clr12(R_0038_0003__LOOKED,R_0038_0005__THE_R_0038_0006__GENIE)
      & has_arg0(R_0038_0003__LOOKED,R_0038_0001__THE_R_0038_0002__KING) ) ).


n38_a_genieus n38_a_genieus__1_1_1_1 The n38_a_genieus__1_1_2_1 king n38_a_genieus__1_2_1 looked n38_a_genieus__1_3_1_1 at n38_a_genieus__1_3_2_1_1 the n38_a_genieus__1_3_2_2_1 genie n38_a_genieus__1_4_1 . n38_a_genieus__1 IP-MAT n38_a_genieus__1_1 NP-SBJ n38_a_genieus__1->n38_a_genieus__1_1 n38_a_genieus__1_2 VBD;_Ipr_ n38_a_genieus__1->n38_a_genieus__1_2 n38_a_genieus__1_3 PP-CLR n38_a_genieus__1->n38_a_genieus__1_3 n38_a_genieus__1_4 PUNC n38_a_genieus__1->n38_a_genieus__1_4 n38_a_genieus__1_1_1 D n38_a_genieus__1_1->n38_a_genieus__1_1_1 n38_a_genieus__1_1_2 N n38_a_genieus__1_1->n38_a_genieus__1_1_2 n38_a_genieus__1_1_1->n38_a_genieus__1_1_1_1 n38_a_genieus__1_1_2->n38_a_genieus__1_1_2_1 n38_a_genieus__1_2->n38_a_genieus__1_2_1 n38_a_genieus__1_3_1 P-ROLE n38_a_genieus__1_3->n38_a_genieus__1_3_1 n38_a_genieus__1_3_2 NP n38_a_genieus__1_3->n38_a_genieus__1_3_2 n38_a_genieus__1_3_1->n38_a_genieus__1_3_1_1 n38_a_genieus__1_3_2_1 D n38_a_genieus__1_3_2->n38_a_genieus__1_3_2_1 n38_a_genieus__1_3_2_2 N n38_a_genieus__1_3_2->n38_a_genieus__1_3_2_2 n38_a_genieus__1_3_2_1->n38_a_genieus__1_3_2_1_1 n38_a_genieus__1_3_2_2->n38_a_genieus__1_3_2_2_1 n38_a_genieus__1_4->n38_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 38_a_genieus))