128_a_stuck_japan
It isn't.

%3 r_0128_0002__is is r_0128_0001__It It r_0128_0002__is->r_0128_0001__It [arg0] r_0128_0003__n_apos_t n't r_0128_0003__n_apos_t->r_0128_0002__is [keep_scope]
arc(r_0128_0002__is, r_0128_0001__It, arg0).
arc(r_0128_0003__n_apos_t, r_0128_0002__is, keep_scope).



%3 r_0128_0002__is is r_0128_0001__It It r_0128_0002__is->r_0128_0001__It [arg0] r_0128_0003__n_apos_t n't r_0128_0003__n_apos_t->r_0128_0002__is [keep_scope]
fof(formula,axiom,
    ~ ? [R_128_2_IS,R_128_1_IT] :
        ( it(R_128_1_IT)
        & is(R_128_2_IS,R_128_1_IT) ) ).



n128_a_stuck_japan n128_a_stuck_japan_4 It n128_a_stuck_japan_6 is n128_a_stuck_japan_8 n't n128_a_stuck_japan_10 . n128_a_stuck_japan_1 IP-MAT n128_a_stuck_japan_2 NP-SBJ n128_a_stuck_japan_1->n128_a_stuck_japan_2 n128_a_stuck_japan_5 BEP;__ n128_a_stuck_japan_1->n128_a_stuck_japan_5 n128_a_stuck_japan_7 NEG n128_a_stuck_japan_1->n128_a_stuck_japan_7 n128_a_stuck_japan_9 PUNC n128_a_stuck_japan_1->n128_a_stuck_japan_9 n128_a_stuck_japan_3 PRO n128_a_stuck_japan_2->n128_a_stuck_japan_3 n128_a_stuck_japan_3->n128_a_stuck_japan_4 n128_a_stuck_japan_5->n128_a_stuck_japan_6 n128_a_stuck_japan_7->n128_a_stuck_japan_8 n128_a_stuck_japan_9->n128_a_stuck_japan_10
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;__ is;{be})
          (NEG n<apos>t;{not})
          (PUNC .))
  (ID 128_a_stuck_japan))