TSPC 40_a_kyoto

40_a_kyoto_1
Today, Sesshu who gave birth to one of Japanese cultures is a leading historical figure of this country.

( (IP-MAT (NP-NIM (N Today;{today}))
          (PUNC ,)
          (NP-SBJ;{SESSHU} (NPR Sesshu;{Sesshu})
                           (IP-REL (NP-SBJ (RPRO who;{who}))
                                   (VBD;_Tn.pr_ gave;{give[to]})
                                   (NP-OB1 (N birth;{birth}))
                                   (PP-CLR (P-ROLE to;{to})
                                           (NP (NUM one;{one})
                                               (PP (P-ROLE of;{of})
                                                   (NP (ADJP (ADJ Japanese;{Japanese}))
                                                       (NS cultures;{culture})))))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ leading;{leading}))
                  (ADJP (ADJ historical;{historical}))
                  (N figure;{figure})
                  (PP (P-ROLE of;{of})
                      (NP (D this;{this})
                          (N country;{country}))))
          (PUNC .))
  (ID 40_a_kyoto_1;BDS_00001;42))

arc(r_0040_0005__gave_r_0040_0007__to,r_0040_0003__Sesshu,arg0).
arc(r_0040_0005__gave_r_0040_0007__to,r_0040_0006__birth,arg1).
arc(r_0040_0005__gave_r_0040_0007__to,r_0040_0008__one,arg2).
arc(r_0040_0008__one,r_0040_0011__cultures,r_0040_0009__of).
arc(r_0040_0011__cultures,r_0040_0010__Japanese,attrib).
arc(r_0040_0012__is,r_0040_0001__Today,nim).
arc(r_0040_0012__is,r_0040_0003__Sesshu,arg0).
arc(r_0040_0012__is,r_0040_0013__a_r_0040_0016__figure,prd).
arc(r_0040_0013__a_r_0040_0016__figure,r_0040_0014__leading,attrib).
arc(r_0040_0013__a_r_0040_0016__figure,r_0040_0015__historical,attrib).
arc(r_0040_0013__a_r_0040_0016__figure,r_0040_0018__this_r_0040_0019__country,r_0040_0017__of).

fof(formula,axiom,
    ? [R_0040_0003__SESSHU,R_0040_0006__BIRTH,R_0040_0010__JAPANESE,R_0040_0011__CULTURES,R_0040_0008__ONE,R_0040_0005__GAVE_R_0040_0007__TO,R_0040_0001__TODAY,R_0040_0014__LEADING,R_0040_0015__HISTORICAL,R_0040_0018__THIS_R_0040_0019__COUNTRY,R_0040_0013__A_R_0040_0016__FIGURE,R_0040_0012__IS] :
      ( r_0040_0001__Today(R_0040_0001__TODAY)
      & r_0040_0003__Sesshu(R_0040_0003__SESSHU)
      & r_0040_0006__birth(R_0040_0006__BIRTH)
      & r_0040_0010__Japanese(R_0040_0010__JAPANESE)
      & r_0040_0014__leading(R_0040_0014__LEADING)
      & r_0040_0015__historical(R_0040_0015__HISTORICAL)
      & r_0040_0018__this_r_0040_0019__country(R_0040_0018__THIS_R_0040_0019__COUNTRY)
      & r_0040_0012__is(R_0040_0012__IS)
      & has_prd(R_0040_0012__IS,R_0040_0013__A_R_0040_0016__FIGURE)
      & r_0040_0013__a_r_0040_0016__figure(R_0040_0013__A_R_0040_0016__FIGURE)
      & has_r_0040_0017__of(R_0040_0013__A_R_0040_0016__FIGURE,R_0040_0018__THIS_R_0040_0019__COUNTRY)
      & has_attrib(R_0040_0013__A_R_0040_0016__FIGURE,R_0040_0015__HISTORICAL)
      & has_attrib(R_0040_0013__A_R_0040_0016__FIGURE,R_0040_0014__LEADING)
      & has_arg0(R_0040_0012__IS,R_0040_0003__SESSHU)
      & has_nim(R_0040_0012__IS,R_0040_0001__TODAY)
      & r_0040_0005__gave_r_0040_0007__to(R_0040_0005__GAVE_R_0040_0007__TO)
      & has_arg2(R_0040_0005__GAVE_R_0040_0007__TO,R_0040_0008__ONE)
      & r_0040_0008__one(R_0040_0008__ONE)
      & has_r_0040_0009__of(R_0040_0008__ONE,R_0040_0011__CULTURES)
      & r_0040_0011__cultures(R_0040_0011__CULTURES)
      & has_attrib(R_0040_0011__CULTURES,R_0040_0010__JAPANESE)
      & has_arg1(R_0040_0005__GAVE_R_0040_0007__TO,R_0040_0006__BIRTH)
      & has_arg0(R_0040_0005__GAVE_R_0040_0007__TO,R_0040_0003__SESSHU) ) ).