( (IP-MAT (NP-SBJ (PRO You;{you}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.t_ supposed;{suppose})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;_Tn_ rub;{rub})
                                  (NP-OB1 (ADJP (ADJ magic;{magic}))
                                          (NS lamps;{lamp}))))
          (PUNC ,)
          (CP-QUE-TAG (IP-SUB (BED;_cat_VePASS_ were;{be})
                              (NEG n<apos>t;{not})
                              (NP-SBJ (PRO you;{you}))))
          (PUNC ?))
  (ID 18_a_genieus))

arc(r_0018_0002__were,r_0018_0003__supposed,scope).
arc(r_0018_0002__were,r_0018_0010__n_apos_t,tag).
arc(r_0018_0003__supposed,r_0018_0001__You,arg1).
arc(r_0018_0003__supposed,r_0018_0005__rub,prd).
arc(r_0018_0003__supposed,z_0018_5012___star_,arg0).
arc(r_0018_0005__rub,r_0018_0007__lamps,arg1).
arc(r_0018_0005__rub,z_0018_5008,arg0).
arc(r_0018_0007__lamps,r_0018_0006__magic,attrib).
arc(r_0018_0009__were,r_0018_0001__You,arg0).
arc(r_0018_0010__n_apos_t,r_0018_0009__were,keep_scope).

fof(formula,axiom,
    ? [R_0018_0001__YOU,R_0018_0006__MAGIC,R_0018_0007__LAMPS,Z_0018_5008,R_0018_0005__RUB,Z_0018_5012___STAR_,R_0018_0002__WERE_R_0018_0003__SUPPOSED] :
      ( r_0018_0001__You(R_0018_0001__YOU)
      & r_0018_0006__magic(R_0018_0006__MAGIC)
      & z_0018_5008(Z_0018_5008)
      & z_0018_5012___star_(Z_0018_5012___STAR_)
      & r_0018_0002__were_r_0018_0003__supposed(R_0018_0002__WERE_R_0018_0003__SUPPOSED)
      & has_arg0(R_0018_0002__WERE_R_0018_0003__SUPPOSED,Z_0018_5012___STAR_)
      & has_prd(R_0018_0002__WERE_R_0018_0003__SUPPOSED,R_0018_0005__RUB)
      & r_0018_0005__rub(R_0018_0005__RUB)
      & has_arg0(R_0018_0005__RUB,Z_0018_5008)
      & has_arg1(R_0018_0005__RUB,R_0018_0007__LAMPS)
      & r_0018_0007__lamps(R_0018_0007__LAMPS)
      & has_attrib(R_0018_0007__LAMPS,R_0018_0006__MAGIC)
      & has_arg1(R_0018_0002__WERE_R_0018_0003__SUPPOSED,R_0018_0001__YOU)
      & has_tag(R_0018_0002__WERE_R_0018_0003__SUPPOSED,R_0018_0010__N_APOS_T)
      & ~ ? [R_0018_0009__WERE] :
            ( r_0018_0009__were(R_0018_0009__WERE)
            & has_arg0(R_0018_0009__WERE,R_0018_0001__YOU) ) ) ).