arc(r_0018_0001__Holding, r_0018_0002__the_r_0018_0003__lamp, arg1).
arc(r_0018_0001__Holding, r_0018_0005__he, arg0).
arc(r_0018_0006__wondered, r_0018_0005__he, arg0).
arc(r_0018_0006__wondered, r_0018_0012__could, arg1).
arc(r_0018_0007__what_r_0018_0008__sort, r_0018_0010__magic, r_0018_0009__of).
arc(r_0018_0012__could, r_0018_0013__do, scope).
arc(r_0018_0013__do, r_0018_0002__the_r_0018_0003__lamp, arg0).
arc(r_0018_0013__do, r_0018_0007__what_r_0018_0008__sort, arg1).
arc(z_000_18_a_genieus_2, r_0018_0001__Holding, restriction).
arc(z_000_18_a_genieus_2, r_0018_0006__wondered, scope).

fof(formula,axiom,
    ? [R_0018_0002__THE_R_0018_0003__LAMP,R_0018_0005__HE,R_0018_0001__HOLDING,R_0018_0010__MAGIC,R_0018_0007__WHAT_R_0018_0008__SORT,R_0018_0012__COULD_R_0018_0013__DO,R_0018_0006__WONDERED,Z_000_18_A_GENIEUS_2] :
      ( r_0018_0002__the_r_0018_0003__lamp(R_0018_0002__THE_R_0018_0003__LAMP)
      & r_0018_0005__he(R_0018_0005__HE)
      & r_0018_0010__magic(R_0018_0010__MAGIC)
      & z_000_18_a_genieus_2(Z_000_18_A_GENIEUS_2)
      & has_conj2(Z_000_18_A_GENIEUS_2,R_0018_0006__WONDERED)
      & r_0018_0006__wondered(R_0018_0006__WONDERED)
      & has_arg1(R_0018_0006__WONDERED,R_0018_0012__COULD_R_0018_0013__DO)
      & r_0018_0012__could_r_0018_0013__do(R_0018_0012__COULD_R_0018_0013__DO)
      & has_arg1(R_0018_0012__COULD_R_0018_0013__DO,R_0018_0007__WHAT_R_0018_0008__SORT)
      & r_0018_0007__what_r_0018_0008__sort(R_0018_0007__WHAT_R_0018_0008__SORT)
      & has_r_0018_0009__of(R_0018_0007__WHAT_R_0018_0008__SORT,R_0018_0010__MAGIC)
      & has_arg0(R_0018_0012__COULD_R_0018_0013__DO,R_0018_0002__THE_R_0018_0003__LAMP)
      & has_arg0(R_0018_0006__WONDERED,R_0018_0005__HE)
      & has_conj1(Z_000_18_A_GENIEUS_2,R_0018_0001__HOLDING)
      & r_0018_0001__Holding(R_0018_0001__HOLDING)
      & has_arg0(R_0018_0001__HOLDING,R_0018_0005__HE)
      & has_arg1(R_0018_0001__HOLDING,R_0018_0002__THE_R_0018_0003__LAMP) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Tn_ Holding;{hold})
                            (NP-OB1;{LAMP} (D the;{the})
                                           (N lamp;{lamp}))))
          (PUNC ,)
          (NP-SBJ;{YOUNG_MAN} (PRO he;{he}))
          (VBD;_Tw_ wondered;{wonder})
          (CP-QUE-OB1 (IP-SUB (NP-114 (WD what;{what})
                                      (N sort;{sort})
                                      (PP (P-ROLE of;{of})
                                          (NP (N magic;{magic}))))
                              (NP-SBJ;{LAMP} (PRO it;{it}))
                              (MD;_cat_Vi_ could;{could})
                              (IP-PPL-CAT (NP-OB1 *ICH*-114)
                                          (DO;_Tn_ do;{do}))))
          (PUNC .))
  (ID 18_a_genieus))