TSPC 23_a_stuck

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

arc(r_0023_0008__parents, r_0023_0007__ambitious, attrib19).
arc(r_0023_0009__were, r_0023_0002__New_r_0023_0003__York, r_0023_0001__From_nim5).
arc(r_0023_0009__were, r_0023_0005__Sydney, r_0023_0004__to_nim13).
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_0013__to_r_0023_0015__learn, prd).
arc(r_0023_0012__offspring, r_0023_0002__New_r_0023_0003__York, gen).
arc(r_0023_0013__to_r_0023_0015__learn, r_0023_0016__Japanese, arg1).
arc(r_0023_0013__to_r_0023_0015__learn, x_000_23_a_stuck_japan_35, 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_0012__OFFSPRING,R_0023_0016__JAPANESE,X_000_23_A_STUCK_JAPAN_35,R_0023_0013__TO_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_0016__Japanese(R_0023_0016__JAPANESE)
      & x_000_23_a_stuck_japan_35(X_000_23_A_STUCK_JAPAN_35)
      & 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_0013__TO_R_0023_0015__LEARN)
      & r_0023_0013__to_r_0023_0015__learn(R_0023_0013__TO_R_0023_0015__LEARN)
      & has_arg0(R_0023_0013__TO_R_0023_0015__LEARN,X_000_23_A_STUCK_JAPAN_35)
      & has_arg1(R_0023_0013__TO_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_0002__NEW_R_0023_0003__YORK)
      & has_arg0(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0008__PARENTS)
      & r_0023_0008__parents(R_0023_0008__PARENTS)
      & has_attrib19(R_0023_0008__PARENTS,R_0023_0007__AMBITIOUS)
      & has_r_0023_0004__to_nim13(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0005__SYDNEY)
      & has_r_0023_0001__From_nim5(R_0023_0009__WERE_R_0023_0010__IMPLORING,R_0023_0002__NEW_R_0023_0003__YORK) ) ).

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