33_a_genieus
‘It isn't magic any more.
( (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 33_a_genieus))
arc(r_0033_0003__is,r_0033_0002__It,arg0).
arc(r_0033_0003__is,r_0033_0005__magic,prd).
arc(r_0033_0003__is,r_0033_0006__any_more,nim).
arc(r_0033_0004__n_apos_t,r_0033_0003__is,keep_scope).
fof(formula,axiom,
~ ? [R_0033_0002__IT,R_0033_0005__MAGIC,R_0033_0006__ANY_MORE,R_0033_0003__IS] :
( r_0033_0002__It(R_0033_0002__IT)
& r_0033_0005__magic(R_0033_0005__MAGIC)
& r_0033_0006__any_more(R_0033_0006__ANY_MORE)
& r_0033_0003__is(R_0033_0003__IS)
& has_nim(R_0033_0003__IS,R_0033_0006__ANY_MORE)
& has_prd(R_0033_0003__IS,R_0033_0005__MAGIC)
& has_arg0(R_0033_0003__IS,R_0033_0002__IT) ) ).