TSPC 105_a_stuck

105_a_stuck_japan
Then there are Japanese children with one foreign parent, which include my own three.

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (EX there;{there})
          (BEP;__ are;{be})
          (NP-ESBJ (ADJP (ADJ Japanese;{Japanese}))
                   (NS children;{child})
                   (PP (P-ROLE with;{with})
                       (NP (NUM one;{one})
                           (ADJP (ADJ foreign;{foreign}))
                           (N parent;{parent})
                           (PUNC ,)
                           (IP-REL (NP-SBJ (RPRO which;{which}))
                                   (VBP;_Tn_ include;{include})
                                   (NP-OB1 (NP-GEN (NP-GEN (PRO my;{my}))
                                                   (ADJP (ADJ own;{own})))
                                           (NUM three;{three}))))))
          (PUNC .))
  (ID 105_a_stuck_japan))

arc(r_0105_0003__are,r_0105_0001__Then,nim).
arc(r_0105_0003__are,r_0105_0005__children,arg0).
arc(r_0105_0005__children,r_0105_0004__Japanese,attrib).
arc(r_0105_0005__children,r_0105_0007__one_r_0105_0009__parent,r_0105_0006__with).
arc(r_0105_0007__one_r_0105_0009__parent,r_0105_0008__foreign,attrib).
arc(r_0105_0012__include,r_0105_0007__one_r_0105_0009__parent,arg0).
arc(r_0105_0012__include,r_0105_0015__three,arg1).
arc(r_0105_0015__three,z_0105_5008,gen).
arc(z_0105_5008,r_0105_0013__my,gen).
arc(z_0105_5008,r_0105_0014__own,attrib).

fof(formula,axiom,
    ? [R_0105_0001__THEN,R_0105_0004__JAPANESE,R_0105_0008__FOREIGN,R_0105_0007__ONE_R_0105_0009__PARENT,R_0105_0005__CHILDREN,R_0105_0003__ARE,R_0105_0013__MY,R_0105_0014__OWN,Z_0105_5008,R_0105_0015__THREE,R_0105_0012__INCLUDE] :
      ( r_0105_0001__Then(R_0105_0001__THEN)
      & r_0105_0004__Japanese(R_0105_0004__JAPANESE)
      & r_0105_0008__foreign(R_0105_0008__FOREIGN)
      & r_0105_0013__my(R_0105_0013__MY)
      & r_0105_0014__own(R_0105_0014__OWN)
      & r_0105_0012__include(R_0105_0012__INCLUDE)
      & has_arg1(R_0105_0012__INCLUDE,R_0105_0015__THREE)
      & r_0105_0015__three(R_0105_0015__THREE)
      & has_gen(R_0105_0015__THREE,Z_0105_5008)
      & z_0105_5008(Z_0105_5008)
      & has_attrib(Z_0105_5008,R_0105_0014__OWN)
      & has_gen(Z_0105_5008,R_0105_0013__MY)
      & has_arg0(R_0105_0012__INCLUDE,R_0105_0007__ONE_R_0105_0009__PARENT)
      & r_0105_0007__one_r_0105_0009__parent(R_0105_0007__ONE_R_0105_0009__PARENT)
      & has_attrib(R_0105_0007__ONE_R_0105_0009__PARENT,R_0105_0008__FOREIGN)
      & r_0105_0003__are(R_0105_0003__ARE)
      & has_arg0(R_0105_0003__ARE,R_0105_0005__CHILDREN)
      & r_0105_0005__children(R_0105_0005__CHILDREN)
      & has_r_0105_0006__with(R_0105_0005__CHILDREN,R_0105_0007__ONE_R_0105_0009__PARENT)
      & has_attrib(R_0105_0005__CHILDREN,R_0105_0004__JAPANESE)
      & has_nim(R_0105_0003__ARE,R_0105_0001__THEN) ) ).