TSPC 24_a_stuck

24_a_stuck_japan
I had wondered whether I'd made a mistake plumping for Chinese.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_Tw_ wondered;{wonder})
                      (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                                          (NP-SBJ (PRO I;{I}))
                                          (HVD;_cat_Ve_ <apos>d;{have})
                                          (IP-PPL-CAT (VVN;_Tn_ made;{make})
                                                      (NP-OB1 (D a;{a})
                                                              (N mistake;{mistake}))))))
          (PP-SCON (IP-PPL (VAG;_Ipr_ plumping;{plump[for]})
                           (PP-CLR (P-ROLE for;{for})
                                   (NP (NPR Chinese;{Chinese})))))
          (PUNC .))
  (ID 24_a_stuck_japan))

arc(r_0024_0002__had,r_0024_0003__wondered,scope).
arc(r_0024_0003__wondered,r_0024_0001__I,arg0).
arc(r_0024_0003__wondered,r_0024_0004__whether,arg1).
arc(r_0024_0004__whether,r_0024_0006___apos_d,keep_scope).
arc(r_0024_0006___apos_d,r_0024_0007__made,scope).
arc(r_0024_0007__made,r_0024_0001__I,arg0).
arc(r_0024_0007__made,r_0024_0008__a_r_0024_0009__mistake,arg1).
arc(r_0024_0010__plumping_r_0024_0011__for,r_0024_0001__I,arg0).
arc(r_0024_0010__plumping_r_0024_0011__for,r_0024_0012__Chinese,arg1).
arc(z_0024_5001,r_0024_0002__had,scope).
arc(z_0024_5001,r_0024_0010__plumping_r_0024_0011__for,restriction).

fof(formula,axiom,
    ? [R_0024_0001__I,R_0024_0008__A_R_0024_0009__MISTAKE,R_0024_0006___APOS_D_R_0024_0007__MADE,R_0024_0004__WHETHER,R_0024_0002__HAD_R_0024_0003__WONDERED,R_0024_0012__CHINESE,R_0024_0010__PLUMPING_R_0024_0011__FOR,Z_0024_5001] :
      ( r_0024_0001__I(R_0024_0001__I)
      & r_0024_0008__a_r_0024_0009__mistake(R_0024_0008__A_R_0024_0009__MISTAKE)
      & r_0024_0012__Chinese(R_0024_0012__CHINESE)
      & z_0024_5001(Z_0024_5001)
      & has_conj1(Z_0024_5001,R_0024_0010__PLUMPING_R_0024_0011__FOR)
      & r_0024_0010__plumping_r_0024_0011__for(R_0024_0010__PLUMPING_R_0024_0011__FOR)
      & has_arg1(R_0024_0010__PLUMPING_R_0024_0011__FOR,R_0024_0012__CHINESE)
      & has_arg0(R_0024_0010__PLUMPING_R_0024_0011__FOR,R_0024_0001__I)
      & has_conj2(Z_0024_5001,R_0024_0002__HAD_R_0024_0003__WONDERED)
      & r_0024_0002__had_r_0024_0003__wondered(R_0024_0002__HAD_R_0024_0003__WONDERED)
      & has_arg1(R_0024_0002__HAD_R_0024_0003__WONDERED,R_0024_0004__WHETHER)
      & r_0024_0004__whether(R_0024_0004__WHETHER)
      & has_keep_scope(R_0024_0004__WHETHER,R_0024_0006___APOS_D_R_0024_0007__MADE)
      & r_0024_0006___apos_d_r_0024_0007__made(R_0024_0006___APOS_D_R_0024_0007__MADE)
      & has_arg1(R_0024_0006___APOS_D_R_0024_0007__MADE,R_0024_0008__A_R_0024_0009__MISTAKE)
      & has_arg0(R_0024_0006___APOS_D_R_0024_0007__MADE,R_0024_0001__I)
      & has_arg0(R_0024_0002__HAD_R_0024_0003__WONDERED,R_0024_0001__I) ) ).