73_a_stuck_japan
Even permanent foreign residents were excluded from returning.
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).
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) ) ).
( (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))