TSPC 42_a_kyoto

42_a_kyoto_2
That is why, especially after it was brought to Japan, enlightenment has been expressed through artistic expression such as poetry and painting, so that one can get a taste of its aroma.

( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_equ_Vw_ is;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (PUNC ,)
                              (PP-SCON (ADVP-NIM (ADV especially;{especially}))
                                       (P-CONN after;{after})
                                       (IP-ADV (NP-SBJ (PRO it;{it}))
                                               (BED;_cat_VePASS_ was;{be})
                                               (IP-PPL-CAT (NP-LGS *)
                                                           (VVN;__ brought;{bring})
                                                           (PP-NIM (P-ROLE to;{to})
                                                                   (NP (NPR Japan;{Japan}))))))
                              (PUNC ,)
                              (NP-SBJ (N enlightenment;{enlightenment}))
                              (HVP;_cat_Ve_ has;{have})
                              (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;__ expressed;{express})
                                                      (PP-NIM (P-ROLE through;{through})
                                                              (NP (ADJP (ADJ artistic;{artistic}))
                                                                  (N expression;{expression})
                                                                  (PP (P-ROLE such_as;{such_as})
                                                                      (NP (NLYR (NLYR (N poetry;{poetry}))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (NLYR (N painting;{painting}))))))))))
                              (PUNC ,)
                              (PP-SCON (P-CONN so_that;{so_that})
                                       (IP-ADV (NP-SBJ (NUM one;{one}))
                                               (MD;_cat_Vi_ can;{can})
                                               (IP-INF-CAT (VB;__ get;{get})
                                                           (NP-OB1 (D a;{a})
                                                                   (N taste;{taste})
                                                                   (PP (P-ROLE of;{of})
                                                                       (NP (NP-GEN (PRO;_genm_ its;{its}))
                                                                           (N aroma;{aroma})))))))))
          (PUNC .))
  (ID 42_a_kyoto_2;BDS_00002;42))

arc(r_0042_0002__is,r_0042_0001__That,arg0).
arc(r_0042_0002__is,r_0042_0005__especially_r_0042_0006__after,prd).
arc(r_0042_0005__especially_r_0042_0006__after,r_0042_0008__was,restriction).
arc(r_0042_0005__especially_r_0042_0006__after,r_0042_0025__so_that,scope).
arc(r_0042_0008__was,r_0042_0009__brought,scope).
arc(r_0042_0009__brought,r_0042_0007__it,arg1).
arc(r_0042_0009__brought,r_0042_0011__Japan,r_0042_0010__to__nim).
arc(r_0042_0009__brought,z_0042_5005___star_,arg0).
arc(r_0042_0014__has,r_0042_0003__why,nim).
arc(r_0042_0014__has,r_0042_0015__been,scope).
arc(r_0042_0015__been,r_0042_0016__expressed,scope).
arc(r_0042_0016__expressed,r_0042_0013__enlightenment,arg1).
arc(r_0042_0016__expressed,r_0042_0019__expression,r_0042_0017__through__nim).
arc(r_0042_0016__expressed,z_0042_5023___star_,arg0).
arc(r_0042_0019__expression,r_0042_0018__artistic,attrib).
arc(r_0042_0019__expression,r_0042_0022__and,r_0042_0020__such_as).
arc(r_0042_0022__and,r_0042_0021__poetry,conj1).
arc(r_0042_0022__and,r_0042_0023__painting,conj2).
arc(r_0042_0025__so_that,r_0042_0014__has,scope).
arc(r_0042_0025__so_that,r_0042_0027__can,restriction).
arc(r_0042_0027__can,r_0042_0028__get,scope).
arc(r_0042_0028__get,r_0042_0026__one,arg0).
arc(r_0042_0028__get,r_0042_0029__a_r_0042_0030__taste,arg1).
arc(r_0042_0029__a_r_0042_0030__taste,r_0042_0033__aroma,r_0042_0031__of).
arc(r_0042_0033__aroma,r_0042_0032__its,gen).

fof(formula,axiom,
    ? [R_0042_0001__THAT,R_0042_0007__IT,R_0042_0011__JAPAN,Z_0042_5005___STAR_,R_0042_0008__WAS_R_0042_0009__BROUGHT,R_0042_0003__WHY,R_0042_0013__ENLIGHTENMENT,R_0042_0018__ARTISTIC,R_0042_0021__POETRY,R_0042_0023__PAINTING,R_0042_0022__AND,R_0042_0019__EXPRESSION,Z_0042_5023___STAR_,R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED,R_0042_0026__ONE,R_0042_0032__ITS,R_0042_0033__AROMA,R_0042_0029__A_R_0042_0030__TASTE,R_0042_0027__CAN_R_0042_0028__GET,R_0042_0025__SO_THAT,R_0042_0005__ESPECIALLY_R_0042_0006__AFTER,R_0042_0002__IS] :
      ( r_0042_0001__That(R_0042_0001__THAT)
      & r_0042_0003__why(R_0042_0003__WHY)
      & r_0042_0007__it(R_0042_0007__IT)
      & r_0042_0011__Japan(R_0042_0011__JAPAN)
      & r_0042_0013__enlightenment(R_0042_0013__ENLIGHTENMENT)
      & r_0042_0018__artistic(R_0042_0018__ARTISTIC)
      & r_0042_0021__poetry(R_0042_0021__POETRY)
      & r_0042_0023__painting(R_0042_0023__PAINTING)
      & r_0042_0026__one(R_0042_0026__ONE)
      & r_0042_0032__its(R_0042_0032__ITS)
      & z_0042_5005___star_(Z_0042_5005___STAR_)
      & z_0042_5023___star_(Z_0042_5023___STAR_)
      & r_0042_0002__is(R_0042_0002__IS)
      & has_prd(R_0042_0002__IS,R_0042_0005__ESPECIALLY_R_0042_0006__AFTER)
      & r_0042_0005__especially_r_0042_0006__after(R_0042_0005__ESPECIALLY_R_0042_0006__AFTER)
      & has_conj2(R_0042_0005__ESPECIALLY_R_0042_0006__AFTER,R_0042_0025__SO_THAT)
      & r_0042_0025__so_that(R_0042_0025__SO_THAT)
      & has_conj1(R_0042_0025__SO_THAT,R_0042_0027__CAN_R_0042_0028__GET)
      & r_0042_0027__can_r_0042_0028__get(R_0042_0027__CAN_R_0042_0028__GET)
      & has_arg1(R_0042_0027__CAN_R_0042_0028__GET,R_0042_0029__A_R_0042_0030__TASTE)
      & r_0042_0029__a_r_0042_0030__taste(R_0042_0029__A_R_0042_0030__TASTE)
      & has_r_0042_0031__of(R_0042_0029__A_R_0042_0030__TASTE,R_0042_0033__AROMA)
      & r_0042_0033__aroma(R_0042_0033__AROMA)
      & has_gen(R_0042_0033__AROMA,R_0042_0032__ITS)
      & has_arg0(R_0042_0027__CAN_R_0042_0028__GET,R_0042_0026__ONE)
      & has_conj2(R_0042_0025__SO_THAT,R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED)
      & r_0042_0014__has_r_0042_0015__been_r_0042_0016__expressed(R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED)
      & has_arg0(R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED,Z_0042_5023___STAR_)
      & has_r_0042_0017__through__nim(R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED,R_0042_0019__EXPRESSION)
      & r_0042_0019__expression(R_0042_0019__EXPRESSION)
      & has_r_0042_0020__such_as(R_0042_0019__EXPRESSION,R_0042_0022__AND)
      & r_0042_0022__and(R_0042_0022__AND)
      & has_conj2(R_0042_0022__AND,R_0042_0023__PAINTING)
      & has_conj1(R_0042_0022__AND,R_0042_0021__POETRY)
      & has_attrib(R_0042_0019__EXPRESSION,R_0042_0018__ARTISTIC)
      & has_arg1(R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED,R_0042_0013__ENLIGHTENMENT)
      & has_nim(R_0042_0014__HAS_R_0042_0015__BEEN_R_0042_0016__EXPRESSED,R_0042_0003__WHY)
      & has_conj1(R_0042_0005__ESPECIALLY_R_0042_0006__AFTER,R_0042_0008__WAS_R_0042_0009__BROUGHT)
      & r_0042_0008__was_r_0042_0009__brought(R_0042_0008__WAS_R_0042_0009__BROUGHT)
      & has_arg0(R_0042_0008__WAS_R_0042_0009__BROUGHT,Z_0042_5005___STAR_)
      & has_r_0042_0010__to__nim(R_0042_0008__WAS_R_0042_0009__BROUGHT,R_0042_0011__JAPAN)
      & has_arg1(R_0042_0008__WAS_R_0042_0009__BROUGHT,R_0042_0007__IT)
      & has_arg0(R_0042_0002__IS,R_0042_0001__THAT) ) ).