arc(utterance_34_a_genieus_4, r_0034_0003___apos_ve, part1).
arc(r_0034_0003___apos_ve, r_0034_0004__brought, scope).
arc(r_0034_0004__brought, r_0034_0006__lamp, arg1).
arc(r_0034_0004__brought, r_0034_0009__he, arg0).
arc(r_0034_0006__lamp, r_0034_0005__your, gen).
arc(r_0034_0010__announced, utterance_34_a_genieus_4, arg1).
arc(r_0034_0010__announced, r_0034_0009__he, arg0).
arc(r_0034_0011__as, r_0034_0010__announced, scope).
arc(r_0034_0011__as, r_0034_0013__strode, restriction).
arc(r_0034_0013__strode, r_0034_0009__he, arg0).
arc(r_0034_0013__strode, r_0034_0015__the_r_0034_0016__throne_r_0034_0017__room, r_0034_0014__into_clr41).

fof(formula,axiom,
    ? [R_0034_0005__YOUR,R_0034_0006__LAMP,R_0034_0009__HE,R_0034_0003___APOS_VE_R_0034_0004__BROUGHT,UTTERANCE_34_A_GENIEUS_4,R_0034_0010__ANNOUNCED,R_0034_0015__THE_R_0034_0016__THRONE_R_0034_0017__ROOM,R_0034_0013__STRODE,R_0034_0011__AS] :
      ( r_0034_0005__your(R_0034_0005__YOUR)
      & r_0034_0009__he(R_0034_0009__HE)
      & r_0034_0015__the_r_0034_0016__throne_r_0034_0017__room(R_0034_0015__THE_R_0034_0016__THRONE_R_0034_0017__ROOM)
      & r_0034_0011__as(R_0034_0011__AS)
      & has_conj1(R_0034_0011__AS,R_0034_0013__STRODE)
      & r_0034_0013__strode(R_0034_0013__STRODE)
      & has_r_0034_0014__into_clr41(R_0034_0013__STRODE,R_0034_0015__THE_R_0034_0016__THRONE_R_0034_0017__ROOM)
      & has_arg0(R_0034_0013__STRODE,R_0034_0009__HE)
      & has_conj2(R_0034_0011__AS,R_0034_0010__ANNOUNCED)
      & r_0034_0010__announced(R_0034_0010__ANNOUNCED)
      & has_arg0(R_0034_0010__ANNOUNCED,R_0034_0009__HE)
      & has_arg1(R_0034_0010__ANNOUNCED,UTTERANCE_34_A_GENIEUS_4)
      & utterance_34_a_genieus_4(UTTERANCE_34_A_GENIEUS_4)
      & has_part1(UTTERANCE_34_A_GENIEUS_4,R_0034_0003___APOS_VE_R_0034_0004__BROUGHT)
      & r_0034_0003___apos_ve_r_0034_0004__brought(R_0034_0003___APOS_VE_R_0034_0004__BROUGHT)
      & has_arg0(R_0034_0003___APOS_VE_R_0034_0004__BROUGHT,R_0034_0009__HE)
      & has_arg1(R_0034_0003___APOS_VE_R_0034_0004__BROUGHT,R_0034_0006__LAMP)
      & r_0034_0006__lamp(R_0034_0006__LAMP)
      & has_gen(R_0034_0006__LAMP,R_0034_0005__YOUR) ) ).

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