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).

fof(formula,axiom,
    ~ ? [R_35_3_IS,R_35_2_IT,R_35_6_ANY_MORE,R_35_5_MAGIC] :
        ( it(R_35_2_IT)
        & any_more(R_35_6_ANY_MORE)
        & magic(R_35_5_MAGIC)
        & is(R_35_3_IS,R_35_2_IT,R_35_5_MAGIC)
        & nim14(R_35_3_IS,R_35_6_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 35_a_genieus))