TSPC 23_a_stuck

23_a_stuck_japan
From New York to Sydney, ambitious parents were imploring their offspring to “learn Japanese”.

( (IP-MAT (PP-NIM (P-ROLE From;{from})
                  (NP (NPR New;{New})
                      (NPR York;{York})))
          (PP-NIM (P-ROLE to;{to})
                  (NP (NPR Sydney;{Sydney})))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ ambitious;{ambitious}))
                  (NS parents;{parent}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (VAG;_Cn.t_ imploring;{implore})
                      (NP-OB1 (NP-GEN (PRO their;{they}))
                              (N offspring;{offspring}))
                      (IP-INF-PRD (TO to;{to})
                                  (PULQ <ldquo>)
                                  (VB;_Tn_ learn;{learn})
                                  (NP-OB1 (NPR Japanese;{Japanese}))
                                  (PURQ <rdquo>)))
          (PUNC .))
  (ID 23_a_stuck_japan))

arc(r_0023_0008__parents,r_0023_0007__ambitious,attrib).
arc(r_0023_0009__were,r_0023_0002__New_r_0023_0003__York,r_0023_0001__From__nim).
arc(r_0023_0009__were,r_0023_0005__Sydney,r_0023_0004__to__nim).
arc(r_0023_0009__were,r_0023_0010__imploring,scope).
arc(r_0023_0010__imploring,r_0023_0008__parents,arg0).
arc(r_0023_0010__imploring,r_0023_0012__offspring,arg1).
arc(r_0023_0010__imploring,r_0023_0015__learn,prd).
arc(r_0023_0012__offspring,r_0023_0011__their,gen).
arc(r_0023_0015__learn,r_0023_0016__Japanese,arg1).
arc(r_0023_0015__learn,z_0023_5007,arg0).

fof(formula,axiom,
    ? [R_0023_0002__NEW_R_0023_0003__YORK,R_0023_0005__SYDNEY,R_0023_0007__AMBITIOUS,R_0023_0008__PARENTS,R_0023_0011__THEIR,R_0023_0012__OFFSPRING,R_0023_0016__JAPANESE,Z_0023_5007,R_0023_0015__LEARN,R_0023_0009__WERE_R_0023_0010__IMPLORING] :
      ( r_0023_0002__New_r_0023_0003__York(R_0023_0002__NEW_R_0023_0003__YORK)
      & r_0023_0005__Sydney(R_0023_0005__SYDNEY)
      & r_0023_0007__ambitious(R_0023_0007__AMBITIOUS)
      & r_0023_0011__their(R_0023_0011__THEIR)
      & r_0023_0016__Japanese(R_0023_0016__JAPANESE)
      & z_0023_5007(Z_0023_5007)
      & r_0023_0009__were_r_0023_0010__imploring(R_0023_0009__WERE_R_0023_0010__IMPLORING)
      & has_prd(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0015__LEARN)
      & r_0023_0015__learn(R_0023_0015__LEARN)
      & has_arg0(R_0023_0015__LEARN,Z_0023_5007)
      & has_arg1(R_0023_0015__LEARN,R_0023_0016__JAPANESE)
      & has_arg1(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0012__OFFSPRING)
      & r_0023_0012__offspring(R_0023_0012__OFFSPRING)
      & has_gen(R_0023_0012__OFFSPRING,R_0023_0011__THEIR)
      & has_arg0(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0008__PARENTS)
      & r_0023_0008__parents(R_0023_0008__PARENTS)
      & has_attrib(R_0023_0008__PARENTS,R_0023_0007__AMBITIOUS)
      & has_r_0023_0004__to__nim(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0005__SYDNEY)
      & has_r_0023_0001__From__nim(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0002__NEW_R_0023_0003__YORK) ) ).