73_a_stuck_japan
Even permanent foreign residents were excluded from returning.
( (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))
arc(r_0073_0004__residents,r_0073_0002__permanent,attrib).
arc(r_0073_0004__residents,r_0073_0003__foreign,attrib).
arc(r_0073_0005__were,r_0073_0001__Even,nim).
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__clr).
arc(r_0073_0006__excluded,z_0073_5008___star_,arg0).
arc(r_0073_0008__returning,r_0073_0004__residents,arg0).
fof(formula,axiom,
? [R_0073_0001__EVEN,R_0073_0002__PERMANENT,R_0073_0003__FOREIGN,R_0073_0004__RESIDENTS,R_0073_0008__RETURNING,Z_0073_5008___STAR_,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_0073_5008___star_(Z_0073_5008___STAR_)
& 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_0073_5008___STAR_)
& has_r_0073_0007__from__clr(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,R_0073_0004__RESIDENTS)
& r_0073_0004__residents(R_0073_0004__RESIDENTS)
& has_attrib(R_0073_0004__RESIDENTS,R_0073_0003__FOREIGN)
& has_attrib(R_0073_0004__RESIDENTS,R_0073_0002__PERMANENT)
& has_arg1(R_0073_0005__WERE_R_0073_0006__EXCLUDED,R_0073_0004__RESIDENTS)
& has_nim(R_0073_0005__WERE_R_0073_0006__EXCLUDED,R_0073_0001__EVEN) ) ).