Context                Previous, Next                Top


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_0003__n_apos_t n't r_0128_0002__is is r_0128_0003__n_apos_t->r_0128_0002__is [keep_scope] r_0128_0001__It It r_0128_0002__is->r_0128_0001__It [arg0] 
fof(formula,axiom,
    ~ ? [R_0128_0001__IT,R_0128_0002__IS] :
        ( r_0128_0001__It(R_0128_0001__IT)
        & r_0128_0002__is(R_0128_0002__IS)
        & has_arg0(R_0128_0002__IS,R_0128_0001__IT) ) ).


n128_a_stuck_japan n128_a_stuck_japan__1_1_1_1 It n128_a_stuck_japan__1_2_1 is n128_a_stuck_japan__1_3_1 n't n128_a_stuck_japan__1_4_1 . n128_a_stuck_japan__1 IP-MAT n128_a_stuck_japan__1_1 NP-SBJ n128_a_stuck_japan__1->n128_a_stuck_japan__1_1 n128_a_stuck_japan__1_2 BEP;__ n128_a_stuck_japan__1->n128_a_stuck_japan__1_2 n128_a_stuck_japan__1_3 NEG n128_a_stuck_japan__1->n128_a_stuck_japan__1_3 n128_a_stuck_japan__1_4 PUNC n128_a_stuck_japan__1->n128_a_stuck_japan__1_4 n128_a_stuck_japan__1_1_1 PRO n128_a_stuck_japan__1_1->n128_a_stuck_japan__1_1_1 n128_a_stuck_japan__1_1_1->n128_a_stuck_japan__1_1_1_1 n128_a_stuck_japan__1_2->n128_a_stuck_japan__1_2_1 n128_a_stuck_japan__1_3->n128_a_stuck_japan__1_3_1 n128_a_stuck_japan__1_4->n128_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;__ is;{be})
          (NEG n<apos>t;{not})
          (PUNC .))
  (ID 128_a_stuck_japan))