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

arc(r_0015_0003__found,r_0015_0002__he,arg0).
arc(r_0015_0003__found,r_0015_0004__the_r_0015_0006__rival_r_0015_0008__hideaway,arg1).
arc(r_0015_0004__the_r_0015_0006__rival_r_0015_0008__hideaway,r_0015_0005__wicked,attrib).
arc(r_0015_0014__was,r_0015_0004__the_r_0015_0006__rival_r_0015_0008__hideaway,nim).
arc(r_0015_0014__was,r_0015_0015__hidden,scope).
arc(r_0015_0015__hidden,r_0015_0011__the_r_0015_0012__magic_r_0015_0013__lamp,arg1).
arc(r_0015_0015__hidden,z_0015_5005___star_,arg0).

fof(formula,axiom,
    ? [R_0015_0002__HE,R_0015_0005__WICKED,R_0015_0004__THE_R_0015_0006__RIVAL_R_0015_0008__HIDEAWAY,R_0015_0003__FOUND,R_0015_0011__THE_R_0015_0012__MAGIC_R_0015_0013__LAMP,Z_0015_5005___STAR_,R_0015_0014__WAS_R_0015_0015__HIDDEN] :
      ( r_0015_0002__he(R_0015_0002__HE)
      & r_0015_0005__wicked(R_0015_0005__WICKED)
      & r_0015_0011__the_r_0015_0012__magic_r_0015_0013__lamp(R_0015_0011__THE_R_0015_0012__MAGIC_R_0015_0013__LAMP)
      & z_0015_5005___star_(Z_0015_5005___STAR_)
      & r_0015_0014__was_r_0015_0015__hidden(R_0015_0014__WAS_R_0015_0015__HIDDEN)
      & has_arg0(R_0015_0014__WAS_R_0015_0015__HIDDEN,Z_0015_5005___STAR_)
      & has_arg1(R_0015_0014__WAS_R_0015_0015__HIDDEN,R_0015_0011__THE_R_0015_0012__MAGIC_R_0015_0013__LAMP)
      & has_nim(R_0015_0014__WAS_R_0015_0015__HIDDEN,R_0015_0004__THE_R_0015_0006__RIVAL_R_0015_0008__HIDEAWAY)
      & r_0015_0004__the_r_0015_0006__rival_r_0015_0008__hideaway(R_0015_0004__THE_R_0015_0006__RIVAL_R_0015_0008__HIDEAWAY)
      & has_attrib(R_0015_0004__THE_R_0015_0006__RIVAL_R_0015_0008__HIDEAWAY,R_0015_0005__WICKED)
      & r_0015_0003__found(R_0015_0003__FOUND)
      & has_arg1(R_0015_0003__FOUND,R_0015_0004__THE_R_0015_0006__RIVAL_R_0015_0008__HIDEAWAY)
      & has_arg0(R_0015_0003__FOUND,R_0015_0002__HE) ) ).