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

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

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