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

arc(r_0017_0001__Holding,r_0017_0002__the_r_0017_0003__lamp,arg1).
arc(r_0017_0001__Holding,r_0017_0005__he,arg0).
arc(r_0017_0006__wondered,r_0017_0005__he,arg0).
arc(r_0017_0006__wondered,r_0017_0012__could,arg1).
arc(r_0017_0007__what_r_0017_0008__sort,r_0017_0010__magic,r_0017_0009__of).
arc(r_0017_0012__could,r_0017_0013__do,scope).
arc(r_0017_0013__do,r_0017_0002__the_r_0017_0003__lamp,arg0).
arc(r_0017_0013__do,r_0017_0007__what_r_0017_0008__sort,arg1).
arc(z_0017_5001,r_0017_0001__Holding,restriction).
arc(z_0017_5001,r_0017_0006__wondered,scope).

fof(formula,axiom,
    ? [R_0017_0002__THE_R_0017_0003__LAMP,R_0017_0005__HE,R_0017_0001__HOLDING,R_0017_0010__MAGIC,R_0017_0007__WHAT_R_0017_0008__SORT,R_0017_0012__COULD_R_0017_0013__DO,R_0017_0006__WONDERED,Z_0017_5001] :
      ( r_0017_0002__the_r_0017_0003__lamp(R_0017_0002__THE_R_0017_0003__LAMP)
      & r_0017_0005__he(R_0017_0005__HE)
      & r_0017_0010__magic(R_0017_0010__MAGIC)
      & z_0017_5001(Z_0017_5001)
      & has_conj2(Z_0017_5001,R_0017_0006__WONDERED)
      & r_0017_0006__wondered(R_0017_0006__WONDERED)
      & has_arg1(R_0017_0006__WONDERED,R_0017_0012__COULD_R_0017_0013__DO)
      & r_0017_0012__could_r_0017_0013__do(R_0017_0012__COULD_R_0017_0013__DO)
      & has_arg1(R_0017_0012__COULD_R_0017_0013__DO,R_0017_0007__WHAT_R_0017_0008__SORT)
      & r_0017_0007__what_r_0017_0008__sort(R_0017_0007__WHAT_R_0017_0008__SORT)
      & has_r_0017_0009__of(R_0017_0007__WHAT_R_0017_0008__SORT,R_0017_0010__MAGIC)
      & has_arg0(R_0017_0012__COULD_R_0017_0013__DO,R_0017_0002__THE_R_0017_0003__LAMP)
      & has_arg0(R_0017_0006__WONDERED,R_0017_0005__HE)
      & has_conj1(Z_0017_5001,R_0017_0001__HOLDING)
      & r_0017_0001__Holding(R_0017_0001__HOLDING)
      & has_arg0(R_0017_0001__HOLDING,R_0017_0005__HE)
      & has_arg1(R_0017_0001__HOLDING,R_0017_0002__THE_R_0017_0003__LAMP) ) ).