Context                Previous, Next                Top


38_a_stuck_japan
It is not.

%3 r_0038_0002__is is r_0038_0001__It It r_0038_0002__is->r_0038_0001__It [arg0] r_0038_0003__not not r_0038_0003__not->r_0038_0002__is [keep_scope] 
arc(r_0038_0002__is, r_0038_0001__It, arg0).
arc(r_0038_0003__not, r_0038_0002__is, keep_scope).


%3 r_0038_0002__is is r_0038_0001__It It r_0038_0002__is->r_0038_0001__It [arg0] r_0038_0003__not not r_0038_0003__not->r_0038_0002__is [keep_scope] 
fof(formula,axiom,
    ~ ? [R_38_2_IS,R_38_1_IT] :
        ( it(R_38_1_IT)
        & is(R_38_2_IS,R_38_1_IT) ) ).


n38_a_stuck_japan n38_a_stuck_japan_4 It n38_a_stuck_japan_6 is n38_a_stuck_japan_8 not n38_a_stuck_japan_10 . n38_a_stuck_japan_1 IP-MAT n38_a_stuck_japan_2 NP-SBJ n38_a_stuck_japan_1->n38_a_stuck_japan_2 n38_a_stuck_japan_5 BEP n38_a_stuck_japan_1->n38_a_stuck_japan_5 n38_a_stuck_japan_7 NEG n38_a_stuck_japan_1->n38_a_stuck_japan_7 n38_a_stuck_japan_9 PUNC n38_a_stuck_japan_1->n38_a_stuck_japan_9 n38_a_stuck_japan_3 PRO n38_a_stuck_japan_2->n38_a_stuck_japan_3 n38_a_stuck_japan_3->n38_a_stuck_japan_4 n38_a_stuck_japan_5->n38_a_stuck_japan_6 n38_a_stuck_japan_7->n38_a_stuck_japan_8 n38_a_stuck_japan_9->n38_a_stuck_japan_10 
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP is;{be})
          (NEG not;{not})
          (PUNC .))
  (ID 38_a_stuck_japan))