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_141_5_AS,R_141_10_MOVED,R_141_6_MILLIONS,R_141_9_PEOPLE,R_141_8_YOUNG,R_141_12_CITIES,R_141_14_WORK,R_141_2_SHOULD_HAVE_REDUCED,R_141_1_THEY] :
( young(R_141_8_YOUNG)
& work(R_141_14_WORK)
& they(R_141_1_THEY)
& as(R_141_5_AS)
& conj1(R_141_5_AS,R_141_10_MOVED)
& moved(R_141_10_MOVED,R_141_6_MILLIONS)
& millions(R_141_6_MILLIONS)
& of(R_141_6_MILLIONS,R_141_9_PEOPLE)
& people(R_141_9_PEOPLE)
& attrib24(R_141_9_PEOPLE,R_141_8_YOUNG)
& to_nim34(R_141_10_MOVED,R_141_12_CITIES)
& cities(R_141_12_CITIES)
& for(R_141_12_CITIES,R_141_14_WORK)
& conj2(R_141_5_AS,R_141_2_SHOULD_HAVE_REDUCED)
& should_have_reduced(R_141_2_SHOULD_HAVE_REDUCED,R_141_1_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))