Context                Previous, Next                Top


35_a_genieus
‘It isn't magic any more.

%3 r_0035_0003__is is r_0035_0002__It It r_0035_0003__is->r_0035_0002__It [arg0] r_0035_0005__magic magic r_0035_0003__is->r_0035_0005__magic [prd] r_0035_0006__any_more any more r_0035_0003__is->r_0035_0006__any_more [nim] r_0035_0004__n_apos_t n't r_0035_0004__n_apos_t->r_0035_0003__is [keep_scope] 
arc(r_0035_0003__is, r_0035_0002__It, arg0).
arc(r_0035_0003__is, r_0035_0005__magic, prd).
arc(r_0035_0003__is, r_0035_0006__any_more, nim14).
arc(r_0035_0004__n_apos_t, r_0035_0003__is, keep_scope).


%3 r_0035_0004__n_apos_t n't r_0035_0003__is is r_0035_0004__n_apos_t->r_0035_0003__is [keep_scope] r_0035_0006__any_more any more r_0035_0003__is->r_0035_0006__any_more [nim] r_0035_0005__magic magic r_0035_0003__is->r_0035_0005__magic [prd] r_0035_0002__It It r_0035_0003__is->r_0035_0002__It [arg0] 
fof(formula,axiom,
    ~ ? [R_0035_0002__IT,R_0035_0005__MAGIC,R_0035_0006__ANY_MORE,R_0035_0003__IS] :
        ( r_0035_0002__It(R_0035_0002__IT)
        & r_0035_0005__magic(R_0035_0005__MAGIC)
        & r_0035_0006__any_more(R_0035_0006__ANY_MORE)
        & r_0035_0003__is(R_0035_0003__IS)
        & has_nim14(R_0035_0003__IS,R_0035_0006__ANY_MORE)
        & has_prd(R_0035_0003__IS,R_0035_0005__MAGIC)
        & has_arg0(R_0035_0003__IS,R_0035_0002__IT) ) ).


n35_a_genieus n35_a_genieus__1_1_1 <lsquo> n35_a_genieus__1_2_1_1 It n35_a_genieus__1_3_1 is n35_a_genieus__1_4_1 n't n35_a_genieus__1_5_1_1 magic n35_a_genieus__1_6_1_1 any_more n35_a_genieus__1_7_1 . n35_a_genieus__1 IP-MAT n35_a_genieus__1_1 PULQ n35_a_genieus__1->n35_a_genieus__1_1 n35_a_genieus__1_2 NP-SBJ n35_a_genieus__1->n35_a_genieus__1_2 n35_a_genieus__1_3 BEP;_La_ n35_a_genieus__1->n35_a_genieus__1_3 n35_a_genieus__1_4 NEG n35_a_genieus__1->n35_a_genieus__1_4 n35_a_genieus__1_5 ADJP-PRD n35_a_genieus__1->n35_a_genieus__1_5 n35_a_genieus__1_6 ADVP-NIM n35_a_genieus__1->n35_a_genieus__1_6 n35_a_genieus__1_7 PUNC n35_a_genieus__1->n35_a_genieus__1_7 n35_a_genieus__1_1->n35_a_genieus__1_1_1 n35_a_genieus__1_2_1 PRO n35_a_genieus__1_2->n35_a_genieus__1_2_1 n35_a_genieus__1_2_1->n35_a_genieus__1_2_1_1 n35_a_genieus__1_3->n35_a_genieus__1_3_1 n35_a_genieus__1_4->n35_a_genieus__1_4_1 n35_a_genieus__1_5_1 ADJ n35_a_genieus__1_5->n35_a_genieus__1_5_1 n35_a_genieus__1_5_1->n35_a_genieus__1_5_1_1 n35_a_genieus__1_6_1 ADV n35_a_genieus__1_6->n35_a_genieus__1_6_1 n35_a_genieus__1_6_1->n35_a_genieus__1_6_1_1 n35_a_genieus__1_7->n35_a_genieus__1_7_1 
( (IP-MAT (PULQ <lsquo>)
          (NP-SBJ;{LAMP} (PRO It;{it}))
          (BEP;_La_ is;{be})
          (NEG n<apos>t;{not})
          (ADJP-PRD (ADJ magic;{magic}))
          (ADVP-NIM (ADV any_more;{any_more}))
          (PUNC .))
  (ID 35_a_genieus))