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, r_0034_0009__he, arg0).
arc(r_0034_0010__announced, utterance_34_a_genieus_4, arg1).
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).
arc(utterance_34_a_genieus_4, r_0034_0003___apos_ve, part1).

fof(formula,axiom,
    ? [R_34_11_AS,R_34_13_STRODE,R_34_15_THE_THRONE_ROOM,R_34_10_ANNOUNCED,UTTERANCE_34_A_GENIEUS_4,R_34_3__APOS_VE_BROUGHT,R_34_9_HE,R_34_6_LAMP,R_34_5_YOUR] :
      ( the_throne_room(R_34_15_THE_THRONE_ROOM)
      & he(R_34_9_HE)
      & your(R_34_5_YOUR)
      & as(R_34_11_AS)
      & conj1(R_34_11_AS,R_34_13_STRODE)
      & strode(R_34_13_STRODE,R_34_9_HE)
      & into_clr41(R_34_13_STRODE,R_34_15_THE_THRONE_ROOM)
      & conj2(R_34_11_AS,R_34_10_ANNOUNCED)
      & announced(R_34_10_ANNOUNCED,R_34_9_HE,UTTERANCE_34_A_GENIEUS_4)
      & utterance_34_a_genieus_4(UTTERANCE_34_A_GENIEUS_4)
      & part1(UTTERANCE_34_A_GENIEUS_4,R_34_3__APOS_VE_BROUGHT)
      & _apos_ve_brought(R_34_3__APOS_VE_BROUGHT,R_34_9_HE,R_34_6_LAMP)
      & lamp(R_34_6_LAMP)
      & gen(R_34_6_LAMP,R_34_5_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))