Context                Previous, Next                Top


29_a_genieus
‘I've been in that lamp for a hundred years, and I'm fed up with it!

%3 r_0029_0003___apos_ve 've r_0029_0004__been been r_0029_0003___apos_ve->r_0029_0004__been [scope] r_0029_0002__I I r_0029_0004__been->r_0029_0002__I [arg0] r_0029_0006__that_r_0029_0007__lamp that lamp r_0029_0004__been->r_0029_0006__that_r_0029_0007__lamp in [clr] r_0029_0009__a_r_0029_0010__hundred_r_0029_0011__years a hundred years r_0029_0004__been->r_0029_0009__a_r_0029_0010__hundred_r_0029_0011__years for [nim] r_0029_0013__and and r_0029_0013__and->r_0029_0003___apos_ve [conj1] r_0029_0015___apos_m 'm r_0029_0013__and->r_0029_0015___apos_m [conj2] r_0029_0014__I I r_0029_0015___apos_m->r_0029_0014__I [arg0] r_0029_0016__fed_up fed up r_0029_0015___apos_m->r_0029_0016__fed_up [prd] r_0029_0016__fed_up->r_0029_0004__been with 
arc(r_0029_0003___apos_ve, r_0029_0004__been, scope).
arc(r_0029_0004__been, r_0029_0002__I, arg0).
arc(r_0029_0004__been, r_0029_0006__that_r_0029_0007__lamp, r_0029_0005__in_clr17).
arc(r_0029_0004__been, r_0029_0009__a_r_0029_0010__hundred_r_0029_0011__years, r_0029_0008__for_nim25).
arc(r_0029_0013__and, r_0029_0003___apos_ve, conj1).
arc(r_0029_0013__and, r_0029_0015___apos_m, conj2).
arc(r_0029_0015___apos_m, r_0029_0014__I, arg0).
arc(r_0029_0015___apos_m, r_0029_0016__fed_up, prd).
arc(r_0029_0016__fed_up, r_0029_0004__been, r_0029_0017__with).


%3 r_0029_0016__fed_up fed up r_0029_0003___apos_ve_r_0029_0004__been 've been r_0029_0016__fed_up->r_0029_0003___apos_ve_r_0029_0004__been with r_0029_0009__a_r_0029_0010__hundred_r_0029_0011__years a hundred years r_0029_0003___apos_ve_r_0029_0004__been->r_0029_0009__a_r_0029_0010__hundred_r_0029_0011__years for [nim] r_0029_0006__that_r_0029_0007__lamp that lamp r_0029_0003___apos_ve_r_0029_0004__been->r_0029_0006__that_r_0029_0007__lamp in [clr] r_0029_0002__I I r_0029_0003___apos_ve_r_0029_0004__been->r_0029_0002__I [arg0] r_0029_0015___apos_m 'm r_0029_0015___apos_m->r_0029_0016__fed_up [prd] r_0029_0014__I I r_0029_0015___apos_m->r_0029_0014__I [arg0] r_0029_0013__and and r_0029_0013__and->r_0029_0003___apos_ve_r_0029_0004__been [conj1] r_0029_0013__and->r_0029_0015___apos_m [conj2] 
fof(formula,axiom,
    ? [R_29_13_AND,R_29_15__APOS_M,R_29_14_I,R_29_16_FED_UP,R_29_3__APOS_VE_BEEN,R_29_2_I,R_29_6_THAT_LAMP,R_29_9_A_HUNDRED_YEARS] :
      ( i(R_29_14_I)
      & i(R_29_2_I)
      & that_lamp(R_29_6_THAT_LAMP)
      & a_hundred_years(R_29_9_A_HUNDRED_YEARS)
      & and(R_29_13_AND)
      & conj1(R_29_13_AND,R_29_3__APOS_VE_BEEN)
      & _apos_ve_been(R_29_3__APOS_VE_BEEN,R_29_2_I)
      & in_clr17(R_29_3__APOS_VE_BEEN,R_29_6_THAT_LAMP)
      & for_nim25(R_29_3__APOS_VE_BEEN,R_29_9_A_HUNDRED_YEARS)
      & conj2(R_29_13_AND,R_29_15__APOS_M)
      & _apos_m(R_29_15__APOS_M,R_29_14_I,R_29_16_FED_UP)
      & fed_up(R_29_16_FED_UP)
      & with(R_29_16_FED_UP,R_29_3__APOS_VE_BEEN) ) ).


n29_a_genieus n29_a_genieus__1_1_1 <lsquo> n29_a_genieus__1_2_1_1_1_1 I n29_a_genieus__1_2_1_2_1 've n29_a_genieus__1_2_1_3_1_1 been n29_a_genieus__1_2_1_3_2_1_1 in n29_a_genieus__1_2_1_3_2_2_1_1 that n29_a_genieus__1_2_1_3_2_2_2_1 lamp n29_a_genieus__1_2_1_3_3_1_1 for n29_a_genieus__1_2_1_3_3_2_1_1 a n29_a_genieus__1_2_1_3_3_2_2_1 hundred n29_a_genieus__1_2_1_3_3_2_3_1 years n29_a_genieus__1_2_2_1 , n29_a_genieus__1_2_3_1_1 and n29_a_genieus__1_2_3_2_1_1_1 I n29_a_genieus__1_2_3_2_2_1 'm n29_a_genieus__1_2_3_2_3_1_1 fed_up n29_a_genieus__1_2_3_2_3_2_1_1 with n29_a_genieus__1_2_3_2_3_2_2_1_1 it n29_a_genieus__1_3_1 ! n29_a_genieus__1 IP-MAT n29_a_genieus__1_1 PULQ n29_a_genieus__1->n29_a_genieus__1_1 n29_a_genieus__1_2 ILYR n29_a_genieus__1->n29_a_genieus__1_2 n29_a_genieus__1_3 PUNC n29_a_genieus__1->n29_a_genieus__1_3 n29_a_genieus__1_1->n29_a_genieus__1_1_1 n29_a_genieus__1_2_1 ILYR n29_a_genieus__1_2->n29_a_genieus__1_2_1 n29_a_genieus__1_2_2 PUNC n29_a_genieus__1_2->n29_a_genieus__1_2_2 n29_a_genieus__1_2_3 CONJP n29_a_genieus__1_2->n29_a_genieus__1_2_3 n29_a_genieus__1_2_1_1 NP-SBJ n29_a_genieus__1_2_1->n29_a_genieus__1_2_1_1 n29_a_genieus__1_2_1_2 HVP;_cat_Ve_ n29_a_genieus__1_2_1->n29_a_genieus__1_2_1_2 n29_a_genieus__1_2_1_3 IP-PPL-CAT n29_a_genieus__1_2_1->n29_a_genieus__1_2_1_3 n29_a_genieus__1_2_1_1_1 PRO n29_a_genieus__1_2_1_1->n29_a_genieus__1_2_1_1_1 n29_a_genieus__1_2_1_1_1->n29_a_genieus__1_2_1_1_1_1 n29_a_genieus__1_2_1_2->n29_a_genieus__1_2_1_2_1 n29_a_genieus__1_2_1_3_1 BEN;_Ipr_ n29_a_genieus__1_2_1_3->n29_a_genieus__1_2_1_3_1 n29_a_genieus__1_2_1_3_2 PP-CLR n29_a_genieus__1_2_1_3->n29_a_genieus__1_2_1_3_2 n29_a_genieus__1_2_1_3_3 PP-NIM n29_a_genieus__1_2_1_3->n29_a_genieus__1_2_1_3_3 n29_a_genieus__1_2_1_3_1->n29_a_genieus__1_2_1_3_1_1 n29_a_genieus__1_2_1_3_2_1 P-ROLE n29_a_genieus__1_2_1_3_2->n29_a_genieus__1_2_1_3_2_1 n29_a_genieus__1_2_1_3_2_2 NP n29_a_genieus__1_2_1_3_2->n29_a_genieus__1_2_1_3_2_2 n29_a_genieus__1_2_1_3_2_1->n29_a_genieus__1_2_1_3_2_1_1 n29_a_genieus__1_2_1_3_2_2_1 D n29_a_genieus__1_2_1_3_2_2->n29_a_genieus__1_2_1_3_2_2_1 n29_a_genieus__1_2_1_3_2_2_2 N n29_a_genieus__1_2_1_3_2_2->n29_a_genieus__1_2_1_3_2_2_2 n29_a_genieus__1_2_1_3_2_2_1->n29_a_genieus__1_2_1_3_2_2_1_1 n29_a_genieus__1_2_1_3_2_2_2->n29_a_genieus__1_2_1_3_2_2_2_1 n29_a_genieus__1_2_1_3_3_1 P-ROLE n29_a_genieus__1_2_1_3_3->n29_a_genieus__1_2_1_3_3_1 n29_a_genieus__1_2_1_3_3_2 NP n29_a_genieus__1_2_1_3_3->n29_a_genieus__1_2_1_3_3_2 n29_a_genieus__1_2_1_3_3_1->n29_a_genieus__1_2_1_3_3_1_1 n29_a_genieus__1_2_1_3_3_2_1 D n29_a_genieus__1_2_1_3_3_2->n29_a_genieus__1_2_1_3_3_2_1 n29_a_genieus__1_2_1_3_3_2_2 NUM n29_a_genieus__1_2_1_3_3_2->n29_a_genieus__1_2_1_3_3_2_2 n29_a_genieus__1_2_1_3_3_2_3 NS n29_a_genieus__1_2_1_3_3_2->n29_a_genieus__1_2_1_3_3_2_3 n29_a_genieus__1_2_1_3_3_2_1->n29_a_genieus__1_2_1_3_3_2_1_1 n29_a_genieus__1_2_1_3_3_2_2->n29_a_genieus__1_2_1_3_3_2_2_1 n29_a_genieus__1_2_1_3_3_2_3->n29_a_genieus__1_2_1_3_3_2_3_1 n29_a_genieus__1_2_2->n29_a_genieus__1_2_2_1 n29_a_genieus__1_2_3_1 CONJ n29_a_genieus__1_2_3->n29_a_genieus__1_2_3_1 n29_a_genieus__1_2_3_2 ILYR n29_a_genieus__1_2_3->n29_a_genieus__1_2_3_2 n29_a_genieus__1_2_3_1->n29_a_genieus__1_2_3_1_1 n29_a_genieus__1_2_3_2_1 NP-SBJ n29_a_genieus__1_2_3_2->n29_a_genieus__1_2_3_2_1 n29_a_genieus__1_2_3_2_2 BEP;_La_ n29_a_genieus__1_2_3_2->n29_a_genieus__1_2_3_2_2 n29_a_genieus__1_2_3_2_3 ADJP-PRD n29_a_genieus__1_2_3_2->n29_a_genieus__1_2_3_2_3 n29_a_genieus__1_2_3_2_1_1 PRO n29_a_genieus__1_2_3_2_1->n29_a_genieus__1_2_3_2_1_1 n29_a_genieus__1_2_3_2_1_1->n29_a_genieus__1_2_3_2_1_1_1 n29_a_genieus__1_2_3_2_2->n29_a_genieus__1_2_3_2_2_1 n29_a_genieus__1_2_3_2_3_1 ADJ n29_a_genieus__1_2_3_2_3->n29_a_genieus__1_2_3_2_3_1 n29_a_genieus__1_2_3_2_3_2 PP n29_a_genieus__1_2_3_2_3->n29_a_genieus__1_2_3_2_3_2 n29_a_genieus__1_2_3_2_3_1->n29_a_genieus__1_2_3_2_3_1_1 n29_a_genieus__1_2_3_2_3_2_1 P-ROLE n29_a_genieus__1_2_3_2_3_2->n29_a_genieus__1_2_3_2_3_2_1 n29_a_genieus__1_2_3_2_3_2_2 NP n29_a_genieus__1_2_3_2_3_2->n29_a_genieus__1_2_3_2_3_2_2 n29_a_genieus__1_2_3_2_3_2_1->n29_a_genieus__1_2_3_2_3_2_1_1 n29_a_genieus__1_2_3_2_3_2_2_1 PRO n29_a_genieus__1_2_3_2_3_2_2->n29_a_genieus__1_2_3_2_3_2_2_1 n29_a_genieus__1_2_3_2_3_2_2_1->n29_a_genieus__1_2_3_2_3_2_2_1_1 n29_a_genieus__1_3->n29_a_genieus__1_3_1 
( (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 29_a_genieus))