Context                Previous, Next                Top


14_a_stuck_japan
Japan is stuck.

%3 r_0014_0002__is is r_0014_0001__Japan Japan r_0014_0002__is->r_0014_0001__Japan [arg0] r_0014_0003__stuck stuck r_0014_0002__is->r_0014_0003__stuck [prd] 
arc(r_0014_0002__is, r_0014_0001__Japan, arg0).
arc(r_0014_0002__is, r_0014_0003__stuck, prd).


%3 r_0014_0002__is is r_0014_0003__stuck stuck r_0014_0002__is->r_0014_0003__stuck [prd] r_0014_0001__Japan Japan r_0014_0002__is->r_0014_0001__Japan [arg0] 
fof(formula,axiom,
    ? [R_14_2_IS,R_14_1_JAPAN,R_14_3_STUCK] :
      ( japan(R_14_1_JAPAN)
      & stuck(R_14_3_STUCK)
      & is(R_14_2_IS,R_14_1_JAPAN,R_14_3_STUCK) ) ).


n14_a_stuck_japan n14_a_stuck_japan__1_1_1_1 Japan n14_a_stuck_japan__1_2_1 is n14_a_stuck_japan__1_3_1_1 stuck n14_a_stuck_japan__1_4_1 . n14_a_stuck_japan__1 IP-MAT n14_a_stuck_japan__1_1 NP-SBJ n14_a_stuck_japan__1->n14_a_stuck_japan__1_1 n14_a_stuck_japan__1_2 BEP;_La_ n14_a_stuck_japan__1->n14_a_stuck_japan__1_2 n14_a_stuck_japan__1_3 ADJP-PRD n14_a_stuck_japan__1->n14_a_stuck_japan__1_3 n14_a_stuck_japan__1_4 PUNC n14_a_stuck_japan__1->n14_a_stuck_japan__1_4 n14_a_stuck_japan__1_1_1 NPR n14_a_stuck_japan__1_1->n14_a_stuck_japan__1_1_1 n14_a_stuck_japan__1_1_1->n14_a_stuck_japan__1_1_1_1 n14_a_stuck_japan__1_2->n14_a_stuck_japan__1_2_1 n14_a_stuck_japan__1_3_1 ADJ n14_a_stuck_japan__1_3->n14_a_stuck_japan__1_3_1 n14_a_stuck_japan__1_3_1->n14_a_stuck_japan__1_3_1_1 n14_a_stuck_japan__1_4->n14_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ stuck;{stuck}))
          (PUNC .))
  (ID 14_a_stuck_japan))