141_a_stuck_japan
They should have reduced as millions of young people moved to cities for work.
arc(r_0141_0002__should, r_0141_0003__have, scope).
arc(r_0141_0003__have, r_0141_0004__reduced, scope).
arc(r_0141_0004__reduced, r_0141_0001__They, arg0).
arc(r_0141_0005__as, r_0141_0002__should, scope).
arc(r_0141_0005__as, r_0141_0010__moved, restriction).
arc(r_0141_0006__millions, r_0141_0009__people, r_0141_0007__of).
arc(r_0141_0009__people, r_0141_0008__young, attrib24).
arc(r_0141_0010__moved, r_0141_0006__millions, arg0).
arc(r_0141_0010__moved, r_0141_0012__cities, r_0141_0011__to_nim34).
arc(r_0141_0012__cities, r_0141_0014__work, r_0141_0013__for).
fof(formula,axiom,
? [R_0141_0001__THEY,R_0141_0002__SHOULD_R_0141_0003__HAVE_R_0141_0004__REDUCED,R_0141_0008__YOUNG,R_0141_0009__PEOPLE,R_0141_0006__MILLIONS,R_0141_0014__WORK,R_0141_0012__CITIES,R_0141_0010__MOVED,R_0141_0005__AS] :
( r_0141_0001__They(R_0141_0001__THEY)
& r_0141_0008__young(R_0141_0008__YOUNG)
& r_0141_0014__work(R_0141_0014__WORK)
& r_0141_0005__as(R_0141_0005__AS)
& has_conj1(R_0141_0005__AS,R_0141_0010__MOVED)
& r_0141_0010__moved(R_0141_0010__MOVED)
& has_r_0141_0011__to_nim34(R_0141_0010__MOVED,R_0141_0012__CITIES)
& r_0141_0012__cities(R_0141_0012__CITIES)
& has_r_0141_0013__for(R_0141_0012__CITIES,R_0141_0014__WORK)
& has_arg0(R_0141_0010__MOVED,R_0141_0006__MILLIONS)
& r_0141_0006__millions(R_0141_0006__MILLIONS)
& has_r_0141_0007__of(R_0141_0006__MILLIONS,R_0141_0009__PEOPLE)
& r_0141_0009__people(R_0141_0009__PEOPLE)
& has_attrib24(R_0141_0009__PEOPLE,R_0141_0008__YOUNG)
& has_conj2(R_0141_0005__AS,R_0141_0002__SHOULD_R_0141_0003__HAVE_R_0141_0004__REDUCED)
& r_0141_0002__should_r_0141_0003__have_r_0141_0004__reduced(R_0141_0002__SHOULD_R_0141_0003__HAVE_R_0141_0004__REDUCED)
& has_arg0(R_0141_0002__SHOULD_R_0141_0003__HAVE_R_0141_0004__REDUCED,R_0141_0001__THEY) ) ).
( (IP-MAT (NP-SBJ (PRO They;{they}))
(MD;_cat_Vi_ should;{should})
(IP-PPL-CAT (HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;__ reduced;{reduce})))
(PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ (NS millions;{million})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ young;{young}))
(NS people;{person}))))
(VBD;__ moved;{move})
(PP-NIM (P-ROLE to;{to})
(NP (NS cities;{city})
(PP (P-ROLE for;{for})
(NP (N work;{work})))))))
(PUNC .))
(ID 141_a_stuck_japan))