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_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_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_4 Japan n14_a_stuck_japan_6 is n14_a_stuck_japan_9 stuck n14_a_stuck_japan_11 . n14_a_stuck_japan_1 IP-MAT n14_a_stuck_japan_2 NP-SBJ n14_a_stuck_japan_1->n14_a_stuck_japan_2 n14_a_stuck_japan_5 BEP;_La_ n14_a_stuck_japan_1->n14_a_stuck_japan_5 n14_a_stuck_japan_7 ADJP-PRD n14_a_stuck_japan_1->n14_a_stuck_japan_7 n14_a_stuck_japan_10 PUNC n14_a_stuck_japan_1->n14_a_stuck_japan_10 n14_a_stuck_japan_3 NPR n14_a_stuck_japan_2->n14_a_stuck_japan_3 n14_a_stuck_japan_3->n14_a_stuck_japan_4 n14_a_stuck_japan_5->n14_a_stuck_japan_6 n14_a_stuck_japan_8 ADJ n14_a_stuck_japan_7->n14_a_stuck_japan_8 n14_a_stuck_japan_8->n14_a_stuck_japan_9 n14_a_stuck_japan_10->n14_a_stuck_japan_11 
( (IP-MAT (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ stuck;{stuck}))
          (PUNC .))
  (ID 14_a_stuck_japan))