( (IP-MAT (PULQ <lsquo>)
          (utterance-TPC-OB1 (IP-MAT (NP-SBJ;{GENIE} (PRO I;{I}))
                                     (HVP;_cat_Ve_ <apos>ve;{have})
                                     (IP-PPL-CAT (VVN;_Tn_ brought;{bring})
                                                 (NP-OB1;{LAMP} (NP-GEN;{KING} (PRO your;{you}))
                                                                (N lamp;{lamp})))))
          (PUNC ,)
          (PURQ <rsquo>)
          (NP-SBJ;{GENIE} (PRO he;{he}))
          (VBD;_Tr_ announced;{announce})
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{GENIE} (PRO he;{he}))
                           (VBD;_Ipr_ strode;{stride[into]})
                           (PP-CLR (P-ROLE into;{into})
                                   (NP (D the;{the})
                                       (N throne;{throne})
                                       (N room;{room})))))
          (PUNC .))
  (ID 32_a_genieus))

arc(r_0032_0003___apos_ve,r_0032_0004__brought,scope).
arc(r_0032_0004__brought,r_0032_0002__I,arg0).
arc(r_0032_0004__brought,r_0032_0006__lamp,arg1).
arc(r_0032_0006__lamp,r_0032_0005__your,gen).
arc(r_0032_0010__announced,r_0032_0002__I,arg0).
arc(r_0032_0010__announced,z_0032_5002__utterance,arg1).
arc(r_0032_0011__as,r_0032_0010__announced,scope).
arc(r_0032_0011__as,r_0032_0013__strode_r_0032_0014__into,restriction).
arc(r_0032_0013__strode_r_0032_0014__into,r_0032_0002__I,arg0).
arc(r_0032_0013__strode_r_0032_0014__into,r_0032_0015__the_r_0032_0016__throne_r_0032_0017__room,arg1).
arc(z_0032_5002__utterance,r_0032_0003___apos_ve,part1).

fof(formula,axiom,
    ? [R_0032_0002__I,R_0032_0005__YOUR,R_0032_0006__LAMP,R_0032_0003___APOS_VE_R_0032_0004__BROUGHT,Z_0032_5002__UTTERANCE,R_0032_0010__ANNOUNCED,R_0032_0015__THE_R_0032_0016__THRONE_R_0032_0017__ROOM,R_0032_0013__STRODE_R_0032_0014__INTO,R_0032_0011__AS] :
      ( r_0032_0002__I(R_0032_0002__I)
      & r_0032_0005__your(R_0032_0005__YOUR)
      & r_0032_0015__the_r_0032_0016__throne_r_0032_0017__room(R_0032_0015__THE_R_0032_0016__THRONE_R_0032_0017__ROOM)
      & r_0032_0011__as(R_0032_0011__AS)
      & has_conj1(R_0032_0011__AS,R_0032_0013__STRODE_R_0032_0014__INTO)
      & r_0032_0013__strode_r_0032_0014__into(R_0032_0013__STRODE_R_0032_0014__INTO)
      & has_arg1(R_0032_0013__STRODE_R_0032_0014__INTO,R_0032_0015__THE_R_0032_0016__THRONE_R_0032_0017__ROOM)
      & has_arg0(R_0032_0013__STRODE_R_0032_0014__INTO,R_0032_0002__I)
      & has_conj2(R_0032_0011__AS,R_0032_0010__ANNOUNCED)
      & r_0032_0010__announced(R_0032_0010__ANNOUNCED)
      & has_arg1(R_0032_0010__ANNOUNCED,Z_0032_5002__UTTERANCE)
      & z_0032_5002__utterance(Z_0032_5002__UTTERANCE)
      & has_part1(Z_0032_5002__UTTERANCE,R_0032_0003___APOS_VE_R_0032_0004__BROUGHT)
      & r_0032_0003___apos_ve_r_0032_0004__brought(R_0032_0003___APOS_VE_R_0032_0004__BROUGHT)
      & has_arg1(R_0032_0003___APOS_VE_R_0032_0004__BROUGHT,R_0032_0006__LAMP)
      & r_0032_0006__lamp(R_0032_0006__LAMP)
      & has_gen(R_0032_0006__LAMP,R_0032_0005__YOUR)
      & has_arg0(R_0032_0003___APOS_VE_R_0032_0004__BROUGHT,R_0032_0002__I)
      & has_arg0(R_0032_0010__ANNOUNCED,R_0032_0002__I) ) ).