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__1_1_1_1 They n32_a_stuck_japan__1_2_1 are n32_a_stuck_japan__1_3_1_1 yet n32_a_stuck_japan__1_4_1_1 to n32_a_stuck_japan__1_4_2_1 recover n32_a_stuck_japan__1_5_1 . n32_a_stuck_japan__1 IP-MAT n32_a_stuck_japan__1_1 NP-SBJ n32_a_stuck_japan__1->n32_a_stuck_japan__1_1 n32_a_stuck_japan__1_2 BEP;_cat_Vt_ n32_a_stuck_japan__1->n32_a_stuck_japan__1_2 n32_a_stuck_japan__1_3 ADVP-NIM n32_a_stuck_japan__1->n32_a_stuck_japan__1_3 n32_a_stuck_japan__1_4 IP-INF-CAT n32_a_stuck_japan__1->n32_a_stuck_japan__1_4 n32_a_stuck_japan__1_5 PUNC n32_a_stuck_japan__1->n32_a_stuck_japan__1_5 n32_a_stuck_japan__1_1_1 PRO n32_a_stuck_japan__1_1->n32_a_stuck_japan__1_1_1 n32_a_stuck_japan__1_1_1->n32_a_stuck_japan__1_1_1_1 n32_a_stuck_japan__1_2->n32_a_stuck_japan__1_2_1 n32_a_stuck_japan__1_3_1 ADV n32_a_stuck_japan__1_3->n32_a_stuck_japan__1_3_1 n32_a_stuck_japan__1_3_1->n32_a_stuck_japan__1_3_1_1 n32_a_stuck_japan__1_4_1 TO n32_a_stuck_japan__1_4->n32_a_stuck_japan__1_4_1 n32_a_stuck_japan__1_4_2 VB;_I_ n32_a_stuck_japan__1_4->n32_a_stuck_japan__1_4_2 n32_a_stuck_japan__1_4_1->n32_a_stuck_japan__1_4_1_1 n32_a_stuck_japan__1_4_2->n32_a_stuck_japan__1_4_2_1 n32_a_stuck_japan__1_5->n32_a_stuck_japan__1_5_1 
( (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))