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_0016_0002__HE,R_0016_0005__WICKED,R_0016_0004__THE_R_0016_0006__RIVAL_R_0016_0007___APOS_S_R_0016_0008__HIDEAWAY,R_0016_0001__AND_R_0016_0003__FOUND,R_0016_0011__THE_R_0016_0012__MAGIC_R_0016_0013__LAMP,Z_000_16_A_GENIEUS_37,R_0016_0014__WAS_R_0016_0015__HIDDEN] :
      ( r_0016_0002__he(R_0016_0002__HE)
      & r_0016_0005__wicked(R_0016_0005__WICKED)
      & r_0016_0011__the_r_0016_0012__magic_r_0016_0013__lamp(R_0016_0011__THE_R_0016_0012__MAGIC_R_0016_0013__LAMP)
      & z_000_16_a_genieus_37(Z_000_16_A_GENIEUS_37)
      & r_0016_0014__was_r_0016_0015__hidden(R_0016_0014__WAS_R_0016_0015__HIDDEN)
      & has_arg0(R_0016_0014__WAS_R_0016_0015__HIDDEN,Z_000_16_A_GENIEUS_37)
      & has_arg1(R_0016_0014__WAS_R_0016_0015__HIDDEN,R_0016_0011__THE_R_0016_0012__MAGIC_R_0016_0013__LAMP)
      & has_nim24(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)
      & r_0016_0004__the_r_0016_0006__rival_r_0016_0007___apos_s_r_0016_0008__hideaway(R_0016_0004__THE_R_0016_0006__RIVAL_R_0016_0007___APOS_S_R_0016_0008__HIDEAWAY)
      & has_attrib12(R_0016_0004__THE_R_0016_0006__RIVAL_R_0016_0007___APOS_S_R_0016_0008__HIDEAWAY,R_0016_0005__WICKED)
      & r_0016_0001__And_r_0016_0003__found(R_0016_0001__AND_R_0016_0003__FOUND)
      & has_arg1(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)
      & has_arg0(R_0016_0001__AND_R_0016_0003__FOUND,R_0016_0002__HE) ) ).

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