TSPC 141_a_stuck

141_a_stuck_japan
They should have reduced as millions of young people moved to cities for work.

( (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))

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,attrib).
arc(r_0141_0010__moved,r_0141_0006__millions,arg0).
arc(r_0141_0010__moved,r_0141_0012__cities,r_0141_0011__to__nim).
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__nim(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_attrib(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) ) ).