Context                Previous, Next                Top


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

%3 r_0105_0002__there_r_0105_0003__are there are r_0105_0001__Then Then r_0105_0002__there_r_0105_0003__are->r_0105_0001__Then [nim] r_0105_0005__children children r_0105_0002__there_r_0105_0003__are->r_0105_0005__children [arg0] r_0105_0004__Japanese Japanese r_0105_0005__children->r_0105_0004__Japanese [attrib] r_0105_0007__one_r_0105_0009__parent one parent r_0105_0005__children->r_0105_0007__one_r_0105_0009__parent with r_0105_0008__foreign foreign r_0105_0007__one_r_0105_0009__parent->r_0105_0008__foreign [attrib] r_0105_0012__include include r_0105_0012__include->r_0105_0007__one_r_0105_0009__parent [arg0] r_0105_0015__three three r_0105_0012__include->r_0105_0015__three [arg1] z_000_105_a_stuck_japan_35 r_0105_0015__three->z_000_105_a_stuck_japan_35 [gen] r_0105_0013__my my z_000_105_a_stuck_japan_35->r_0105_0013__my [gen] r_0105_0014__own own z_000_105_a_stuck_japan_35->r_0105_0014__own [attrib] 
arc(r_0105_0002__there_r_0105_0003__are, r_0105_0001__Then, nim2).
arc(r_0105_0002__there_r_0105_0003__are, r_0105_0005__children, arg0).
arc(r_0105_0005__children, r_0105_0004__Japanese, attrib10).
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, attrib21).
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_000_105_a_stuck_japan_35, gen).
arc(z_000_105_a_stuck_japan_35, r_0105_0013__my, gen).
arc(z_000_105_a_stuck_japan_35, r_0105_0014__own, attrib39).


%3 z_000_105_a_stuck_japan_35 r_0105_0014__own own z_000_105_a_stuck_japan_35->r_0105_0014__own [attrib] r_0105_0013__my my z_000_105_a_stuck_japan_35->r_0105_0013__my [gen] r_0105_0015__three three r_0105_0015__three->z_000_105_a_stuck_japan_35 [gen] r_0105_0012__include include r_0105_0012__include->r_0105_0015__three [arg1] r_0105_0007__one_r_0105_0009__parent one parent r_0105_0012__include->r_0105_0007__one_r_0105_0009__parent [arg0] r_0105_0008__foreign foreign r_0105_0007__one_r_0105_0009__parent->r_0105_0008__foreign [attrib] r_0105_0005__children children r_0105_0005__children->r_0105_0007__one_r_0105_0009__parent with r_0105_0004__Japanese Japanese r_0105_0005__children->r_0105_0004__Japanese [attrib] r_0105_0002__there_r_0105_0003__are there are r_0105_0002__there_r_0105_0003__are->r_0105_0005__children [arg0] r_0105_0001__Then Then r_0105_0002__there_r_0105_0003__are->r_0105_0001__Then [nim] 
fof(formula,axiom,
    ? [R_105_2_THERE_ARE,R_105_5_CHILDREN,R_105_4_JAPANESE,R_105_1_THEN,R_105_12_INCLUDE,R_105_7_ONE_PARENT,R_105_8_FOREIGN,R_105_15_THREE,Z_105_A_STUCK_JAPAN_35,R_105_14_OWN,R_105_13_MY] :
      ( japanese(R_105_4_JAPANESE)
      & then(R_105_1_THEN)
      & foreign(R_105_8_FOREIGN)
      & own(R_105_14_OWN)
      & my(R_105_13_MY)
      & there_are(R_105_2_THERE_ARE,R_105_5_CHILDREN)
      & children(R_105_5_CHILDREN)
      & attrib10(R_105_5_CHILDREN,R_105_4_JAPANESE)
      & with(R_105_5_CHILDREN,R_105_7_ONE_PARENT)
      & one_parent(R_105_7_ONE_PARENT)
      & attrib21(R_105_7_ONE_PARENT,R_105_8_FOREIGN)
      & nim2(R_105_2_THERE_ARE,R_105_1_THEN)
      & include(R_105_12_INCLUDE,R_105_7_ONE_PARENT,R_105_15_THREE)
      & three(R_105_15_THREE)
      & gen(R_105_15_THREE,Z_105_A_STUCK_JAPAN_35)
      & z_105_a_stuck_japan_35(Z_105_A_STUCK_JAPAN_35)
      & attrib39(Z_105_A_STUCK_JAPAN_35,R_105_14_OWN)
      & gen(Z_105_A_STUCK_JAPAN_35,R_105_13_MY) ) ).


n105_a_stuck_japan n105_a_stuck_japan__1_1_1_1 Then n105_a_stuck_japan__1_2_1 there n105_a_stuck_japan__1_3_1 are n105_a_stuck_japan__1_4_1_1_1 Japanese n105_a_stuck_japan__1_4_2_1 children n105_a_stuck_japan__1_4_3_1_1 with n105_a_stuck_japan__1_4_3_2_1_1 one n105_a_stuck_japan__1_4_3_2_2_1_1 foreign n105_a_stuck_japan__1_4_3_2_3_1 parent n105_a_stuck_japan__1_4_3_2_4_1 , n105_a_stuck_japan__1_4_3_2_5_1_1_1 which n105_a_stuck_japan__1_4_3_2_5_2_1 include n105_a_stuck_japan__1_4_3_2_5_3_1_1_1_1 my n105_a_stuck_japan__1_4_3_2_5_3_1_2_1_1 own n105_a_stuck_japan__1_4_3_2_5_3_2_1 three n105_a_stuck_japan__1_5_1 . n105_a_stuck_japan__1 IP-MAT n105_a_stuck_japan__1_1 ADVP-NIM n105_a_stuck_japan__1->n105_a_stuck_japan__1_1 n105_a_stuck_japan__1_2 EX n105_a_stuck_japan__1->n105_a_stuck_japan__1_2 n105_a_stuck_japan__1_3 BEP;__ n105_a_stuck_japan__1->n105_a_stuck_japan__1_3 n105_a_stuck_japan__1_4 NP-ESBJ n105_a_stuck_japan__1->n105_a_stuck_japan__1_4 n105_a_stuck_japan__1_5 PUNC n105_a_stuck_japan__1->n105_a_stuck_japan__1_5 n105_a_stuck_japan__1_1_1 ADV n105_a_stuck_japan__1_1->n105_a_stuck_japan__1_1_1 n105_a_stuck_japan__1_1_1->n105_a_stuck_japan__1_1_1_1 n105_a_stuck_japan__1_2->n105_a_stuck_japan__1_2_1 n105_a_stuck_japan__1_3->n105_a_stuck_japan__1_3_1 n105_a_stuck_japan__1_4_1 ADJP n105_a_stuck_japan__1_4->n105_a_stuck_japan__1_4_1 n105_a_stuck_japan__1_4_2 NS n105_a_stuck_japan__1_4->n105_a_stuck_japan__1_4_2 n105_a_stuck_japan__1_4_3 PP n105_a_stuck_japan__1_4->n105_a_stuck_japan__1_4_3 n105_a_stuck_japan__1_4_1_1 ADJ n105_a_stuck_japan__1_4_1->n105_a_stuck_japan__1_4_1_1 n105_a_stuck_japan__1_4_1_1->n105_a_stuck_japan__1_4_1_1_1 n105_a_stuck_japan__1_4_2->n105_a_stuck_japan__1_4_2_1 n105_a_stuck_japan__1_4_3_1 P-ROLE n105_a_stuck_japan__1_4_3->n105_a_stuck_japan__1_4_3_1 n105_a_stuck_japan__1_4_3_2 NP n105_a_stuck_japan__1_4_3->n105_a_stuck_japan__1_4_3_2 n105_a_stuck_japan__1_4_3_1->n105_a_stuck_japan__1_4_3_1_1 n105_a_stuck_japan__1_4_3_2_1 NUM n105_a_stuck_japan__1_4_3_2->n105_a_stuck_japan__1_4_3_2_1 n105_a_stuck_japan__1_4_3_2_2 ADJP n105_a_stuck_japan__1_4_3_2->n105_a_stuck_japan__1_4_3_2_2 n105_a_stuck_japan__1_4_3_2_3 N n105_a_stuck_japan__1_4_3_2->n105_a_stuck_japan__1_4_3_2_3 n105_a_stuck_japan__1_4_3_2_4 PUNC n105_a_stuck_japan__1_4_3_2->n105_a_stuck_japan__1_4_3_2_4 n105_a_stuck_japan__1_4_3_2_5 IP-REL n105_a_stuck_japan__1_4_3_2->n105_a_stuck_japan__1_4_3_2_5 n105_a_stuck_japan__1_4_3_2_1->n105_a_stuck_japan__1_4_3_2_1_1 n105_a_stuck_japan__1_4_3_2_2_1 ADJ n105_a_stuck_japan__1_4_3_2_2->n105_a_stuck_japan__1_4_3_2_2_1 n105_a_stuck_japan__1_4_3_2_2_1->n105_a_stuck_japan__1_4_3_2_2_1_1 n105_a_stuck_japan__1_4_3_2_3->n105_a_stuck_japan__1_4_3_2_3_1 n105_a_stuck_japan__1_4_3_2_4->n105_a_stuck_japan__1_4_3_2_4_1 n105_a_stuck_japan__1_4_3_2_5_1 NP-SBJ n105_a_stuck_japan__1_4_3_2_5->n105_a_stuck_japan__1_4_3_2_5_1 n105_a_stuck_japan__1_4_3_2_5_2 VBP;_Tn_ n105_a_stuck_japan__1_4_3_2_5->n105_a_stuck_japan__1_4_3_2_5_2 n105_a_stuck_japan__1_4_3_2_5_3 NP-OB1 n105_a_stuck_japan__1_4_3_2_5->n105_a_stuck_japan__1_4_3_2_5_3 n105_a_stuck_japan__1_4_3_2_5_1_1 RPRO n105_a_stuck_japan__1_4_3_2_5_1->n105_a_stuck_japan__1_4_3_2_5_1_1 n105_a_stuck_japan__1_4_3_2_5_1_1->n105_a_stuck_japan__1_4_3_2_5_1_1_1 n105_a_stuck_japan__1_4_3_2_5_2->n105_a_stuck_japan__1_4_3_2_5_2_1 n105_a_stuck_japan__1_4_3_2_5_3_1 NP-GEN n105_a_stuck_japan__1_4_3_2_5_3->n105_a_stuck_japan__1_4_3_2_5_3_1 n105_a_stuck_japan__1_4_3_2_5_3_2 NUM n105_a_stuck_japan__1_4_3_2_5_3->n105_a_stuck_japan__1_4_3_2_5_3_2 n105_a_stuck_japan__1_4_3_2_5_3_1_1 NP-GEN n105_a_stuck_japan__1_4_3_2_5_3_1->n105_a_stuck_japan__1_4_3_2_5_3_1_1 n105_a_stuck_japan__1_4_3_2_5_3_1_2 ADJP n105_a_stuck_japan__1_4_3_2_5_3_1->n105_a_stuck_japan__1_4_3_2_5_3_1_2 n105_a_stuck_japan__1_4_3_2_5_3_1_1_1 PRO n105_a_stuck_japan__1_4_3_2_5_3_1_1->n105_a_stuck_japan__1_4_3_2_5_3_1_1_1 n105_a_stuck_japan__1_4_3_2_5_3_1_1_1->n105_a_stuck_japan__1_4_3_2_5_3_1_1_1_1 n105_a_stuck_japan__1_4_3_2_5_3_1_2_1 ADJ n105_a_stuck_japan__1_4_3_2_5_3_1_2->n105_a_stuck_japan__1_4_3_2_5_3_1_2_1 n105_a_stuck_japan__1_4_3_2_5_3_1_2_1->n105_a_stuck_japan__1_4_3_2_5_3_1_2_1_1 n105_a_stuck_japan__1_4_3_2_5_3_2->n105_a_stuck_japan__1_4_3_2_5_3_2_1 n105_a_stuck_japan__1_5->n105_a_stuck_japan__1_5_1 
( (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))