TSPC 103_a_stuck

103_a_stuck_japan
But Japan is not as ethnically pure as those admirers might think.

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (NPR Japan;{Japan}))
          (BEP;__ is;{be})
          (NEG not;{not})
          (ADJP-PRD (ADVP (ADVP (ADV as;{as}))
                          (ADV ethnically;{ethnically}))
                    (ADJ pure;{pure})
                    (PP-SCON (P-CONN as;{as})
                             (IP-ADV (NP-SBJ (D those;{that})
                                             (NS admirers;{admirer}))
                                     (MD;_cat_Vi_ might;{might})
                                     (IP-PPL-CAT (VB;__ think;{think})))))
          (PUNC .))
  (ID 103_a_stuck_japan))

arc(r_0103_0003__is,r_0103_0002__Japan,arg0).
arc(r_0103_0003__is,r_0103_0007__pure,prd).
arc(r_0103_0004__not,r_0103_0003__is,keep_scope).
arc(r_0103_0006__ethnically,r_0103_0005__as,qual).
arc(r_0103_0007__pure,r_0103_0006__ethnically,qual).
arc(r_0103_0008__as,r_0103_0007__pure,scope).
arc(r_0103_0008__as,r_0103_0011__might,restriction).
arc(r_0103_0011__might,r_0103_0012__think,scope).
arc(r_0103_0012__think,r_0103_0009__those_r_0103_0010__admirers,arg0).

fof(formula,axiom,
    ? [R_0103_0002__JAPAN,R_0103_0005__AS,R_0103_0006__ETHNICALLY,R_0103_0007__PURE,R_0103_0003__IS,R_0103_0009__THOSE_R_0103_0010__ADMIRERS,R_0103_0011__MIGHT_R_0103_0012__THINK,R_0103_0008__AS] :
      ( r_0103_0002__Japan(R_0103_0002__JAPAN)
      & r_0103_0005__as(R_0103_0005__AS)
      & r_0103_0009__those_r_0103_0010__admirers(R_0103_0009__THOSE_R_0103_0010__ADMIRERS)
      & r_0103_0008__as(R_0103_0008__AS)
      & has_conj1(R_0103_0008__AS,R_0103_0011__MIGHT_R_0103_0012__THINK)
      & r_0103_0011__might_r_0103_0012__think(R_0103_0011__MIGHT_R_0103_0012__THINK)
      & has_arg0(R_0103_0011__MIGHT_R_0103_0012__THINK,R_0103_0009__THOSE_R_0103_0010__ADMIRERS)
      & has_conj2(R_0103_0008__AS,R_0103_0003__IS)
      & r_0103_0003__is(R_0103_0003__IS)
      & has_prd(R_0103_0003__IS,R_0103_0007__PURE)
      & r_0103_0007__pure(R_0103_0007__PURE)
      & has_qual(R_0103_0007__PURE,R_0103_0006__ETHNICALLY)
      & r_0103_0006__ethnically(R_0103_0006__ETHNICALLY)
      & has_qual(R_0103_0006__ETHNICALLY,R_0103_0005__AS)
      & has_arg0(R_0103_0003__IS,R_0103_0002__JAPAN)
      & ~ r_0103_0003__is(R_0103_0003__IS) ) ).