Context                Previous, Next                Top


32_a_stuck_japan
They are yet to recover.

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))


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


%3 r_0032_0002__are_r_0032_0005__recover are recover r_0032_0003__yet yet r_0032_0002__are_r_0032_0005__recover->r_0032_0003__yet [nim] r_0032_0001__They They r_0032_0002__are_r_0032_0005__recover->r_0032_0001__They [arg0] 
fof(formula,axiom,
    ? [R_0032_0003__YET,R_0032_0001__THEY,R_0032_0002__ARE_R_0032_0005__RECOVER] :
      ( r_0032_0001__They(R_0032_0001__THEY)
      & r_0032_0003__yet(R_0032_0003__YET)
      & r_0032_0002__are_r_0032_0005__recover(R_0032_0002__ARE_R_0032_0005__RECOVER)
      & has_arg0(R_0032_0002__ARE_R_0032_0005__RECOVER,R_0032_0001__THEY)
      & has_nim(R_0032_0002__ARE_R_0032_0005__RECOVER,R_0032_0003__YET) ) ).