Context                Previous, Next                Top


32_a_stuck_japan
They are yet to recover.

%3 r_0032_0002__are are r_0032_0003__yet yet r_0032_0002__are->r_0032_0003__yet [nim] r_0032_0004__to_r_0032_0005__recover to recover r_0032_0002__are->r_0032_0004__to_r_0032_0005__recover [scope] r_0032_0001__They They r_0032_0004__to_r_0032_0005__recover->r_0032_0001__They [arg0] 
arc(r_0032_0002__are, r_0032_0003__yet, nim7).
arc(r_0032_0002__are, r_0032_0004__to_r_0032_0005__recover, scope).
arc(r_0032_0004__to_r_0032_0005__recover, r_0032_0001__They, arg0).


%3 r_0032_0002__are_r_0032_0004__to_r_0032_0005__recover are to recover r_0032_0001__They They r_0032_0002__are_r_0032_0004__to_r_0032_0005__recover->r_0032_0001__They [arg0] r_0032_0003__yet yet r_0032_0002__are_r_0032_0004__to_r_0032_0005__recover->r_0032_0003__yet [nim] 
fof(formula,axiom,
    ? [R_32_2_ARE_TO_RECOVER,R_32_1_THEY,R_32_3_YET] :
      ( they(R_32_1_THEY)
      & yet(R_32_3_YET)
      & are_to_recover(R_32_2_ARE_TO_RECOVER,R_32_1_THEY)
      & nim7(R_32_2_ARE_TO_RECOVER,R_32_3_YET) ) ).


n32_a_stuck_japan n32_a_stuck_japan_4 They n32_a_stuck_japan_6 are n32_a_stuck_japan_9 yet n32_a_stuck_japan_12 to n32_a_stuck_japan_14 recover n32_a_stuck_japan_16 . n32_a_stuck_japan_1 IP-MAT n32_a_stuck_japan_2 NP-SBJ n32_a_stuck_japan_1->n32_a_stuck_japan_2 n32_a_stuck_japan_5 BEP;_cat_Vt_ n32_a_stuck_japan_1->n32_a_stuck_japan_5 n32_a_stuck_japan_7 ADVP-NIM n32_a_stuck_japan_1->n32_a_stuck_japan_7 n32_a_stuck_japan_10 IP-INF-CAT n32_a_stuck_japan_1->n32_a_stuck_japan_10 n32_a_stuck_japan_15 PUNC n32_a_stuck_japan_1->n32_a_stuck_japan_15 n32_a_stuck_japan_3 PRO n32_a_stuck_japan_2->n32_a_stuck_japan_3 n32_a_stuck_japan_3->n32_a_stuck_japan_4 n32_a_stuck_japan_5->n32_a_stuck_japan_6 n32_a_stuck_japan_8 ADV n32_a_stuck_japan_7->n32_a_stuck_japan_8 n32_a_stuck_japan_8->n32_a_stuck_japan_9 n32_a_stuck_japan_11 TO n32_a_stuck_japan_10->n32_a_stuck_japan_11 n32_a_stuck_japan_13 VB;_I_ n32_a_stuck_japan_10->n32_a_stuck_japan_13 n32_a_stuck_japan_11->n32_a_stuck_japan_12 n32_a_stuck_japan_13->n32_a_stuck_japan_14 n32_a_stuck_japan_15->n32_a_stuck_japan_16 
( (IP-MAT (NP-SBJ (PRO They;{they}))
          (BEP;_cat_Vt_ are;{be})
          (ADVP-NIM (ADV yet;{yet}))
          (IP-INF-CAT (TO to;{to})
                      (VB;_I_ recover;{recover}))
          (PUNC .))
  (ID 32_a_stuck_japan))