Context                Previous, Next                Top


73_a_stuck_japan
Even permanent foreign residents were excluded from returning.

%3 r_0073_0004__residents residents r_0073_0002__permanent permanent r_0073_0004__residents->r_0073_0002__permanent [attrib] r_0073_0003__foreign foreign r_0073_0004__residents->r_0073_0003__foreign [attrib] r_0073_0005__were were r_0073_0001__Even Even r_0073_0005__were->r_0073_0001__Even [nim] r_0073_0006__excluded excluded r_0073_0005__were->r_0073_0006__excluded [scope] r_0073_0006__excluded->r_0073_0004__residents [arg1] r_0073_0008__returning returning r_0073_0006__excluded->r_0073_0008__returning from [clr] z_000_73_a_stuck_japan_17 r_0073_0006__excluded->z_000_73_a_stuck_japan_17 [arg0] z_000_73_a_stuck_japan_24 r_0073_0008__returning->z_000_73_a_stuck_japan_24 [arg0] 
arc(r_0073_0004__residents, r_0073_0002__permanent, attrib6).
arc(r_0073_0004__residents, r_0073_0003__foreign, attrib9).
arc(r_0073_0005__were, r_0073_0001__Even, nim2).
arc(r_0073_0005__were, r_0073_0006__excluded, scope).
arc(r_0073_0006__excluded, r_0073_0004__residents, arg1).
arc(r_0073_0006__excluded, r_0073_0008__returning, r_0073_0007__from_clr24).
arc(r_0073_0006__excluded, z_000_73_a_stuck_japan_17, arg0).
arc(r_0073_0008__returning, z_000_73_a_stuck_japan_24, arg0).


%3 r_0073_0008__returning returning z_000_73_a_stuck_japan_24 r_0073_0008__returning->z_000_73_a_stuck_japan_24 [arg0] r_0073_0005__were_r_0073_0006__excluded were excluded r_0073_0005__were_r_0073_0006__excluded->r_0073_0008__returning from [clr] z_000_73_a_stuck_japan_17 r_0073_0005__were_r_0073_0006__excluded->z_000_73_a_stuck_japan_17 [arg0] r_0073_0004__residents residents r_0073_0005__were_r_0073_0006__excluded->r_0073_0004__residents [arg1] r_0073_0001__Even Even r_0073_0005__were_r_0073_0006__excluded->r_0073_0001__Even [nim] r_0073_0003__foreign foreign r_0073_0004__residents->r_0073_0003__foreign [attrib] r_0073_0002__permanent permanent r_0073_0004__residents->r_0073_0002__permanent [attrib] 
fof(formula,axiom,
    ? [R_0073_0001__EVEN,R_0073_0002__PERMANENT,R_0073_0003__FOREIGN,R_0073_0004__RESIDENTS,Z_000_73_A_STUCK_JAPAN_24,R_0073_0008__RETURNING,Z_000_73_A_STUCK_JAPAN_17,R_0073_0005__WERE_R_0073_0006__EXCLUDED] :
      ( r_0073_0001__Even(R_0073_0001__EVEN)
      & r_0073_0002__permanent(R_0073_0002__PERMANENT)
      & r_0073_0003__foreign(R_0073_0003__FOREIGN)
      & z_000_73_a_stuck_japan_17(Z_000_73_A_STUCK_JAPAN_17)
      & z_000_73_a_stuck_japan_24(Z_000_73_A_STUCK_JAPAN_24)
      & r_0073_0005__were_r_0073_0006__excluded(R_0073_0005__WERE_R_0073_0006__EXCLUDED)
      & has_arg0(R_0073_0005__WERE_R_0073_0006__EXCLUDED,Z_000_73_A_STUCK_JAPAN_17)
      & has_r_0073_0007__from_clr24(R_0073_0005__WERE_R_0073_0006__EXCLUDED,R_0073_0008__RETURNING)
      & r_0073_0008__returning(R_0073_0008__RETURNING)
      & has_arg0(R_0073_0008__RETURNING,Z_000_73_A_STUCK_JAPAN_24)
      & has_arg1(R_0073_0005__WERE_R_0073_0006__EXCLUDED,R_0073_0004__RESIDENTS)
      & r_0073_0004__residents(R_0073_0004__RESIDENTS)
      & has_attrib9(R_0073_0004__RESIDENTS,R_0073_0003__FOREIGN)
      & has_attrib6(R_0073_0004__RESIDENTS,R_0073_0002__PERMANENT)
      & has_nim2(R_0073_0005__WERE_R_0073_0006__EXCLUDED,R_0073_0001__EVEN) ) ).


n73_a_stuck_japan n73_a_stuck_japan__1_1_1_1 Even n73_a_stuck_japan__1_2_1_1_1 permanent n73_a_stuck_japan__1_2_2_1_1 foreign n73_a_stuck_japan__1_2_3_1 residents n73_a_stuck_japan__1_3_1 were n73_a_stuck_japan__1_4_1_1 * n73_a_stuck_japan__1_4_2_1 excluded n73_a_stuck_japan__1_4_3_1_1 from n73_a_stuck_japan__1_4_3_2_1_1 returning n73_a_stuck_japan__1_5_1 . n73_a_stuck_japan__1 IP-MAT n73_a_stuck_japan__1_1 ADVP-NIM n73_a_stuck_japan__1->n73_a_stuck_japan__1_1 n73_a_stuck_japan__1_2 NP-SBJ n73_a_stuck_japan__1->n73_a_stuck_japan__1_2 n73_a_stuck_japan__1_3 BED;_cat_VePASS_ n73_a_stuck_japan__1->n73_a_stuck_japan__1_3 n73_a_stuck_japan__1_4 IP-PPL-CAT n73_a_stuck_japan__1->n73_a_stuck_japan__1_4 n73_a_stuck_japan__1_5 PUNC n73_a_stuck_japan__1->n73_a_stuck_japan__1_5 n73_a_stuck_japan__1_1_1 ADV n73_a_stuck_japan__1_1->n73_a_stuck_japan__1_1_1 n73_a_stuck_japan__1_1_1->n73_a_stuck_japan__1_1_1_1 n73_a_stuck_japan__1_2_1 ADJP n73_a_stuck_japan__1_2->n73_a_stuck_japan__1_2_1 n73_a_stuck_japan__1_2_2 ADJP n73_a_stuck_japan__1_2->n73_a_stuck_japan__1_2_2 n73_a_stuck_japan__1_2_3 NS n73_a_stuck_japan__1_2->n73_a_stuck_japan__1_2_3 n73_a_stuck_japan__1_2_1_1 ADJ n73_a_stuck_japan__1_2_1->n73_a_stuck_japan__1_2_1_1 n73_a_stuck_japan__1_2_1_1->n73_a_stuck_japan__1_2_1_1_1 n73_a_stuck_japan__1_2_2_1 ADJ n73_a_stuck_japan__1_2_2->n73_a_stuck_japan__1_2_2_1 n73_a_stuck_japan__1_2_2_1->n73_a_stuck_japan__1_2_2_1_1 n73_a_stuck_japan__1_2_3->n73_a_stuck_japan__1_2_3_1 n73_a_stuck_japan__1_3->n73_a_stuck_japan__1_3_1 n73_a_stuck_japan__1_4_1 NP-LGS n73_a_stuck_japan__1_4->n73_a_stuck_japan__1_4_1 n73_a_stuck_japan__1_4_2 VVN;_Tn.pr_ n73_a_stuck_japan__1_4->n73_a_stuck_japan__1_4_2 n73_a_stuck_japan__1_4_3 PP-CLR n73_a_stuck_japan__1_4->n73_a_stuck_japan__1_4_3 n73_a_stuck_japan__1_4_1->n73_a_stuck_japan__1_4_1_1 n73_a_stuck_japan__1_4_2->n73_a_stuck_japan__1_4_2_1 n73_a_stuck_japan__1_4_3_1 P-ROLE n73_a_stuck_japan__1_4_3->n73_a_stuck_japan__1_4_3_1 n73_a_stuck_japan__1_4_3_2 IP-PPL n73_a_stuck_japan__1_4_3->n73_a_stuck_japan__1_4_3_2 n73_a_stuck_japan__1_4_3_1->n73_a_stuck_japan__1_4_3_1_1 n73_a_stuck_japan__1_4_3_2_1 VAG;_I_ n73_a_stuck_japan__1_4_3_2->n73_a_stuck_japan__1_4_3_2_1 n73_a_stuck_japan__1_4_3_2_1->n73_a_stuck_japan__1_4_3_2_1_1 n73_a_stuck_japan__1_5->n73_a_stuck_japan__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Even;{even}))
          (NP-SBJ (ADJP (ADJ permanent;{permanent}))
                  (ADJP (ADJ foreign;{foreign}))
                  (NS residents;{resident}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ excluded;{exclude[from]})
                      (PP-CLR (P-ROLE from;{from})
                              (IP-PPL (VAG;_I_ returning;{return}))))
          (PUNC .))
  (ID 73_a_stuck_japan))