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_0003__not not r_0038_0002__is is r_0038_0003__not->r_0038_0002__is [keep_scope] r_0038_0001__It It r_0038_0002__is->r_0038_0001__It [arg0] 
fof(formula,axiom,
    ~ ? [R_0038_0001__IT,R_0038_0002__IS] :
        ( r_0038_0001__It(R_0038_0001__IT)
        & r_0038_0002__is(R_0038_0002__IS)
        & has_arg0(R_0038_0002__IS,R_0038_0001__IT) ) ).


n38_a_stuck_japan n38_a_stuck_japan__1_1_1_1 It n38_a_stuck_japan__1_2_1 is n38_a_stuck_japan__1_3_1 not n38_a_stuck_japan__1_4_1 . n38_a_stuck_japan__1 IP-MAT n38_a_stuck_japan__1_1 NP-SBJ n38_a_stuck_japan__1->n38_a_stuck_japan__1_1 n38_a_stuck_japan__1_2 BEP n38_a_stuck_japan__1->n38_a_stuck_japan__1_2 n38_a_stuck_japan__1_3 NEG n38_a_stuck_japan__1->n38_a_stuck_japan__1_3 n38_a_stuck_japan__1_4 PUNC n38_a_stuck_japan__1->n38_a_stuck_japan__1_4 n38_a_stuck_japan__1_1_1 PRO n38_a_stuck_japan__1_1->n38_a_stuck_japan__1_1_1 n38_a_stuck_japan__1_1_1->n38_a_stuck_japan__1_1_1_1 n38_a_stuck_japan__1_2->n38_a_stuck_japan__1_2_1 n38_a_stuck_japan__1_3->n38_a_stuck_japan__1_3_1 n38_a_stuck_japan__1_4->n38_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP is;{be})
          (NEG not;{not})
          (PUNC .))
  (ID 38_a_stuck_japan))