Context                Previous, Next                Top


16_a_genieus
And he found the wicked rival's hideaway, where the magic lamp was hidden.

%3 r_0016_0001__And_r_0016_0003__found And found r_0016_0002__he he r_0016_0001__And_r_0016_0003__found->r_0016_0002__he [arg0] r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway the rival 's hideaway r_0016_0001__And_r_0016_0003__found->r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway [arg1] r_0016_0005__wicked wicked r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway->r_0016_0005__wicked [attrib] r_0016_0014__was was r_0016_0014__was->r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway [nim] r_0016_0015__hidden hidden r_0016_0014__was->r_0016_0015__hidden [scope] r_0016_0011__the_r_0016_0012__magic_r_0016_0013__lamp the magic lamp r_0016_0015__hidden->r_0016_0011__the_r_0016_0012__magic_r_0016_0013__lamp [arg1] z_000_16_a_genieus_37 r_0016_0015__hidden->z_000_16_a_genieus_37 [arg0] 
arc(r_0016_0001__And_r_0016_0003__found, r_0016_0002__he, arg0).
arc(r_0016_0001__And_r_0016_0003__found, r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway, arg1).
arc(r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway, r_0016_0005__wicked, attrib12).
arc(r_0016_0014__was, r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway, nim24).
arc(r_0016_0014__was, r_0016_0015__hidden, scope).
arc(r_0016_0015__hidden, r_0016_0011__the_r_0016_0012__magic_r_0016_0013__lamp, arg1).
arc(r_0016_0015__hidden, z_000_16_a_genieus_37, arg0).


%3 r_0016_0014__was_r_0016_0015__hidden was hidden z_000_16_a_genieus_37 r_0016_0014__was_r_0016_0015__hidden->z_000_16_a_genieus_37 [arg0] r_0016_0011__the_r_0016_0012__magic_r_0016_0013__lamp the magic lamp r_0016_0014__was_r_0016_0015__hidden->r_0016_0011__the_r_0016_0012__magic_r_0016_0013__lamp [arg1] r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway the rival 's hideaway r_0016_0014__was_r_0016_0015__hidden->r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway [nim] r_0016_0005__wicked wicked r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway->r_0016_0005__wicked [attrib] r_0016_0001__And_r_0016_0003__found And found r_0016_0001__And_r_0016_0003__found->r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway [arg1] r_0016_0002__he he r_0016_0001__And_r_0016_0003__found->r_0016_0002__he [arg0] 
fof(formula,axiom,
    ? [R_16_1_AND_FOUND,R_16_2_HE,R_16_14_WAS_HIDDEN,Z_16_A_GENIEUS_37,R_16_11_THE_MAGIC_LAMP,R_16_4_THE_RIVAL_APOS_S_HIDEAWAY,R_16_5_WICKED] :
      ( he(R_16_2_HE)
      & the_magic_lamp(R_16_11_THE_MAGIC_LAMP)
      & wicked(R_16_5_WICKED)
      & and_found(R_16_1_AND_FOUND,R_16_2_HE,R_16_4_THE_RIVAL_APOS_S_HIDEAWAY)
      & the_rival_apos_s_hideaway(R_16_4_THE_RIVAL_APOS_S_HIDEAWAY)
      & attrib12(R_16_4_THE_RIVAL_APOS_S_HIDEAWAY,R_16_5_WICKED)
      & was_hidden(R_16_14_WAS_HIDDEN,Z_16_A_GENIEUS_37,R_16_11_THE_MAGIC_LAMP)
      & nim24(R_16_14_WAS_HIDDEN,R_16_4_THE_RIVAL_APOS_S_HIDEAWAY) ) ).


n16_a_genieus n16_a_genieus__1_1_1 And n16_a_genieus__1_2_1_1 he n16_a_genieus__1_3_1 found n16_a_genieus__1_4_1_1 the n16_a_genieus__1_4_2_1_1 wicked n16_a_genieus__1_4_3_1 rival n16_a_genieus__1_4_4_1 's n16_a_genieus__1_4_5_1 hideaway n16_a_genieus__1_4_6_1 , n16_a_genieus__1_4_7_1_1_1 where n16_a_genieus__1_4_7_2_1_1 the n16_a_genieus__1_4_7_2_2_1 magic n16_a_genieus__1_4_7_2_3_1 lamp n16_a_genieus__1_4_7_3_1 was n16_a_genieus__1_4_7_4_1_1 * n16_a_genieus__1_4_7_4_2_1 hidden n16_a_genieus__1_5_1 . n16_a_genieus__1 IP-MAT n16_a_genieus__1_1 CONJ;_cl_ n16_a_genieus__1->n16_a_genieus__1_1 n16_a_genieus__1_2 NP-SBJ n16_a_genieus__1->n16_a_genieus__1_2 n16_a_genieus__1_3 VBD;_Tn_ n16_a_genieus__1->n16_a_genieus__1_3 n16_a_genieus__1_4 NP-OB1 n16_a_genieus__1->n16_a_genieus__1_4 n16_a_genieus__1_5 PUNC n16_a_genieus__1->n16_a_genieus__1_5 n16_a_genieus__1_1->n16_a_genieus__1_1_1 n16_a_genieus__1_2_1 PRO n16_a_genieus__1_2->n16_a_genieus__1_2_1 n16_a_genieus__1_2_1->n16_a_genieus__1_2_1_1 n16_a_genieus__1_3->n16_a_genieus__1_3_1 n16_a_genieus__1_4_1 D n16_a_genieus__1_4->n16_a_genieus__1_4_1 n16_a_genieus__1_4_2 ADJP n16_a_genieus__1_4->n16_a_genieus__1_4_2 n16_a_genieus__1_4_3 N n16_a_genieus__1_4->n16_a_genieus__1_4_3 n16_a_genieus__1_4_4 GENM n16_a_genieus__1_4->n16_a_genieus__1_4_4 n16_a_genieus__1_4_5 N n16_a_genieus__1_4->n16_a_genieus__1_4_5 n16_a_genieus__1_4_6 PUNC n16_a_genieus__1_4->n16_a_genieus__1_4_6 n16_a_genieus__1_4_7 IP-REL n16_a_genieus__1_4->n16_a_genieus__1_4_7 n16_a_genieus__1_4_1->n16_a_genieus__1_4_1_1 n16_a_genieus__1_4_2_1 ADJ n16_a_genieus__1_4_2->n16_a_genieus__1_4_2_1 n16_a_genieus__1_4_2_1->n16_a_genieus__1_4_2_1_1 n16_a_genieus__1_4_3->n16_a_genieus__1_4_3_1 n16_a_genieus__1_4_4->n16_a_genieus__1_4_4_1 n16_a_genieus__1_4_5->n16_a_genieus__1_4_5_1 n16_a_genieus__1_4_6->n16_a_genieus__1_4_6_1 n16_a_genieus__1_4_7_1 ADVP-NIM n16_a_genieus__1_4_7->n16_a_genieus__1_4_7_1 n16_a_genieus__1_4_7_2 NP-SBJ n16_a_genieus__1_4_7->n16_a_genieus__1_4_7_2 n16_a_genieus__1_4_7_3 BED;_cat_VePASS_ n16_a_genieus__1_4_7->n16_a_genieus__1_4_7_3 n16_a_genieus__1_4_7_4 IP-PPL-CAT n16_a_genieus__1_4_7->n16_a_genieus__1_4_7_4 n16_a_genieus__1_4_7_1_1 RADV n16_a_genieus__1_4_7_1->n16_a_genieus__1_4_7_1_1 n16_a_genieus__1_4_7_1_1->n16_a_genieus__1_4_7_1_1_1 n16_a_genieus__1_4_7_2_1 D n16_a_genieus__1_4_7_2->n16_a_genieus__1_4_7_2_1 n16_a_genieus__1_4_7_2_2 N n16_a_genieus__1_4_7_2->n16_a_genieus__1_4_7_2_2 n16_a_genieus__1_4_7_2_3 N n16_a_genieus__1_4_7_2->n16_a_genieus__1_4_7_2_3 n16_a_genieus__1_4_7_2_1->n16_a_genieus__1_4_7_2_1_1 n16_a_genieus__1_4_7_2_2->n16_a_genieus__1_4_7_2_2_1 n16_a_genieus__1_4_7_2_3->n16_a_genieus__1_4_7_2_3_1 n16_a_genieus__1_4_7_3->n16_a_genieus__1_4_7_3_1 n16_a_genieus__1_4_7_4_1 NP-LGS n16_a_genieus__1_4_7_4->n16_a_genieus__1_4_7_4_1 n16_a_genieus__1_4_7_4_2 VVN;_Tn_ n16_a_genieus__1_4_7_4->n16_a_genieus__1_4_7_4_2 n16_a_genieus__1_4_7_4_1->n16_a_genieus__1_4_7_4_1_1 n16_a_genieus__1_4_7_4_2->n16_a_genieus__1_4_7_4_2_1 n16_a_genieus__1_5->n16_a_genieus__1_5_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{YOUNG_MAN} (PRO he;{he}))
          (VBD;_Tn_ found;{find})
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ wicked;{wicked}))
                  (N rival;{rival})
                  (GENM <apos>s)
                  (N hideaway;{hideaway})
                  (PUNC ,)
                  (IP-REL (ADVP-NIM (RADV where;{where}))
                          (NP-SBJ (D the;{the})
                                  (N magic;{magic})
                                  (N lamp;{lamp}))
                          (BED;_cat_VePASS_ was;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_Tn_ hidden;{hide}))))
          (PUNC .))
  (ID 16_a_genieus))