( (IP-MAT (PULQ <lsquo>)
          (ILYR (ILYR (NP-SBJ;{GENIE} (PRO I;{I}))
                      (HVP;_cat_Ve_ <apos>ve;{have})
                      (IP-PPL-CAT;{BEING_IN_LAMP} (BEN;_Ipr_ been;{be[in]})
                                                  (PP-CLR (P-ROLE in;{in})
                                                          (NP (D that;{that})
                                                              (N lamp;{lamp})))
                                                  (PP-NIM (P-ROLE for;{for})
                                                          (NP (D a;{a})
                                                              (NUM hundred)
                                                              (NS years;{year})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GENIE} (PRO I;{I}))
                             (BEP;_La_ <apos>m;{be})
                             (ADJP-PRD (ADJ fed_up;{fed_up})
                                       (PP (P-ROLE with;{with})
                                           (NP;{BEING_IN_LAMP} (PRO it;{it})))))))
          (PUNC !))
  (ID 28_a_genieus))

arc(r_0028_0003___apos_ve,r_0028_0004__been_r_0028_0005__in,scope).
arc(r_0028_0004__been_r_0028_0005__in,r_0028_0002__I,arg0).
arc(r_0028_0004__been_r_0028_0005__in,r_0028_0006__that_r_0028_0007__lamp,arg1).
arc(r_0028_0004__been_r_0028_0005__in,r_0028_0009__a_r_0028_0010__hundred_r_0028_0011__years,r_0028_0008__for__nim).
arc(r_0028_0013__and,r_0028_0003___apos_ve,conj1).
arc(r_0028_0013__and,r_0028_0015___apos_m,conj2).
arc(r_0028_0015___apos_m,r_0028_0002__I,arg0).
arc(r_0028_0015___apos_m,r_0028_0016__fed_up,prd).
arc(r_0028_0016__fed_up,r_0028_0004__been_r_0028_0005__in,r_0028_0017__with).

fof(formula,axiom,
    ? [R_0028_0002__I,R_0028_0006__THAT_R_0028_0007__LAMP,R_0028_0009__A_R_0028_0010__HUNDRED_R_0028_0011__YEARS,R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN,R_0028_0016__FED_UP,R_0028_0015___APOS_M,R_0028_0013__AND] :
      ( r_0028_0002__I(R_0028_0002__I)
      & r_0028_0006__that_r_0028_0007__lamp(R_0028_0006__THAT_R_0028_0007__LAMP)
      & r_0028_0009__a_r_0028_0010__hundred_r_0028_0011__years(R_0028_0009__A_R_0028_0010__HUNDRED_R_0028_0011__YEARS)
      & r_0028_0013__and(R_0028_0013__AND)
      & has_conj2(R_0028_0013__AND,R_0028_0015___APOS_M)
      & r_0028_0015___apos_m(R_0028_0015___APOS_M)
      & has_prd(R_0028_0015___APOS_M,R_0028_0016__FED_UP)
      & r_0028_0016__fed_up(R_0028_0016__FED_UP)
      & has_r_0028_0017__with(R_0028_0016__FED_UP,R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN)
      & r_0028_0003___apos_ve_r_0028_0004__been_r_0028_0005__in(R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN)
      & has_r_0028_0008__for__nim(R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN,R_0028_0009__A_R_0028_0010__HUNDRED_R_0028_0011__YEARS)
      & has_arg1(R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN,R_0028_0006__THAT_R_0028_0007__LAMP)
      & has_arg0(R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN,R_0028_0002__I)
      & has_arg0(R_0028_0015___APOS_M,R_0028_0002__I)
      & has_conj1(R_0028_0013__AND,R_0028_0003___APOS_VE_R_0028_0004__BEEN_R_0028_0005__IN) ) ).