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_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_r_0073_0006__excluded were excluded 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_0008__returning returning 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] z_000_73_a_stuck_japan_24 r_0073_0008__returning->z_000_73_a_stuck_japan_24 [arg0]
fof(formula,axiom,
    ? [R_73_5_WERE_EXCLUDED,Z_73_A_STUCK_JAPAN_17,R_73_4_RESIDENTS,R_73_2_PERMANENT,R_73_3_FOREIGN,R_73_1_EVEN,R_73_8_RETURNING,Z_73_A_STUCK_JAPAN_24] :
      ( permanent(R_73_2_PERMANENT)
      & foreign(R_73_3_FOREIGN)
      & even(R_73_1_EVEN)
      & were_excluded(R_73_5_WERE_EXCLUDED,Z_73_A_STUCK_JAPAN_17,R_73_4_RESIDENTS)
      & residents(R_73_4_RESIDENTS)
      & attrib6(R_73_4_RESIDENTS,R_73_2_PERMANENT)
      & attrib9(R_73_4_RESIDENTS,R_73_3_FOREIGN)
      & nim2(R_73_5_WERE_EXCLUDED,R_73_1_EVEN)
      & from_clr24(R_73_5_WERE_EXCLUDED,R_73_8_RETURNING)
      & returning(R_73_8_RETURNING,Z_73_A_STUCK_JAPAN_24) ) ).



n73_a_stuck_japan n73_a_stuck_japan_4 Even n73_a_stuck_japan_8 permanent n73_a_stuck_japan_11 foreign n73_a_stuck_japan_13 residents n73_a_stuck_japan_15 were n73_a_stuck_japan_18 * n73_a_stuck_japan_20 excluded n73_a_stuck_japan_23 from n73_a_stuck_japan_26 returning n73_a_stuck_japan_28 . n73_a_stuck_japan_1 IP-MAT n73_a_stuck_japan_2 ADVP-NIM n73_a_stuck_japan_1->n73_a_stuck_japan_2 n73_a_stuck_japan_5 NP-SBJ n73_a_stuck_japan_1->n73_a_stuck_japan_5 n73_a_stuck_japan_14 BED;_cat_VePASS_ n73_a_stuck_japan_1->n73_a_stuck_japan_14 n73_a_stuck_japan_16 IP-PPL-CAT n73_a_stuck_japan_1->n73_a_stuck_japan_16 n73_a_stuck_japan_27 PUNC n73_a_stuck_japan_1->n73_a_stuck_japan_27 n73_a_stuck_japan_3 ADV n73_a_stuck_japan_2->n73_a_stuck_japan_3 n73_a_stuck_japan_3->n73_a_stuck_japan_4 n73_a_stuck_japan_6 ADJP n73_a_stuck_japan_5->n73_a_stuck_japan_6 n73_a_stuck_japan_9 ADJP n73_a_stuck_japan_5->n73_a_stuck_japan_9 n73_a_stuck_japan_12 NS n73_a_stuck_japan_5->n73_a_stuck_japan_12 n73_a_stuck_japan_7 ADJ n73_a_stuck_japan_6->n73_a_stuck_japan_7 n73_a_stuck_japan_7->n73_a_stuck_japan_8 n73_a_stuck_japan_10 ADJ n73_a_stuck_japan_9->n73_a_stuck_japan_10 n73_a_stuck_japan_10->n73_a_stuck_japan_11 n73_a_stuck_japan_12->n73_a_stuck_japan_13 n73_a_stuck_japan_14->n73_a_stuck_japan_15 n73_a_stuck_japan_17 NP-LGS n73_a_stuck_japan_16->n73_a_stuck_japan_17 n73_a_stuck_japan_19 VVN;_Tn.pr_ n73_a_stuck_japan_16->n73_a_stuck_japan_19 n73_a_stuck_japan_21 PP-CLR n73_a_stuck_japan_16->n73_a_stuck_japan_21 n73_a_stuck_japan_17->n73_a_stuck_japan_18 n73_a_stuck_japan_19->n73_a_stuck_japan_20 n73_a_stuck_japan_22 P-ROLE n73_a_stuck_japan_21->n73_a_stuck_japan_22 n73_a_stuck_japan_24 IP-PPL n73_a_stuck_japan_21->n73_a_stuck_japan_24 n73_a_stuck_japan_22->n73_a_stuck_japan_23 n73_a_stuck_japan_25 VAG;_I_ n73_a_stuck_japan_24->n73_a_stuck_japan_25 n73_a_stuck_japan_25->n73_a_stuck_japan_26 n73_a_stuck_japan_27->n73_a_stuck_japan_28
( (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))