Context                Previous, Next                Top


14_a_stuck_japan
Japan is 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))


%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] 
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_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] 
fof(formula,axiom,
    ? [R_0014_0001__JAPAN,R_0014_0003__STUCK,R_0014_0002__IS] :
      ( r_0014_0001__Japan(R_0014_0001__JAPAN)
      & r_0014_0003__stuck(R_0014_0003__STUCK)
      & r_0014_0002__is(R_0014_0002__IS)
      & has_prd(R_0014_0002__IS,R_0014_0003__STUCK)
      & has_arg0(R_0014_0002__IS,R_0014_0001__JAPAN) ) ).