TSPC 43_a_kyoto

43_a_kyoto_2
Other than in art, it is also expressed in deportments such as tea ceremony and flower arrangement; and methods to get a taste of the world of enlightenment have also been born.

arc(r_0043_0005__is, r_0043_0002__art, r_0043_0001__Other_than_in_nim7).
arc(r_0043_0005__is, r_0043_0007__expressed, scope).
arc(r_0043_0007__expressed, r_0043_0004__it, arg1).
arc(r_0043_0007__expressed, r_0043_0006__also, nim20).
arc(r_0043_0007__expressed, r_0043_0009__deportments, r_0043_0008__in_nim28).
arc(r_0043_0007__expressed, z_000_43_a_kyoto_2_18, arg0).
arc(r_0043_0009__deportments, r_0043_0013__and, r_0043_0010__such_as).
arc(r_0043_0013__and, r_0043_0011__tea_r_0043_0012__ceremony, conj1).
arc(r_0043_0013__and, r_0043_0014__flower_r_0043_0015__arrangement, conj2).
arc(r_0043_0017__and, r_0043_0005__is, conj1).
arc(r_0043_0017__and, r_0043_0028__have, conj2).
arc(r_0043_0018__methods, r_0043_0019__to_r_0043_0020__get, emb58).
arc(r_0043_0019__to_r_0043_0020__get, r_0043_0021__a_r_0043_0022__taste, arg1).
arc(r_0043_0019__to_r_0043_0020__get, z_000_43_a_kyoto_2_58, arg0).
arc(r_0043_0021__a_r_0043_0022__taste, r_0043_0024__the_r_0043_0025__world, r_0043_0023__of).
arc(r_0043_0024__the_r_0043_0025__world, r_0043_0027__enlightenment, r_0043_0026__of).
arc(r_0043_0028__have, r_0043_0030__been, scope).
arc(r_0043_0030__been, r_0043_0029__also, nim85).
arc(r_0043_0030__been, r_0043_0031__born, scope).
arc(r_0043_0031__born, r_0043_0018__methods, arg1).
arc(r_0043_0031__born, z_000_43_a_kyoto_2_91, arg0).

fof(formula,axiom,
    ? [R_0043_0002__ART,R_0043_0004__IT,R_0043_0006__ALSO,R_0043_0011__TEA_R_0043_0012__CEREMONY,R_0043_0014__FLOWER_R_0043_0015__ARRANGEMENT,R_0043_0013__AND,R_0043_0009__DEPORTMENTS,Z_000_43_A_KYOTO_2_18,R_0043_0005__IS_R_0043_0007__EXPRESSED,R_0043_0029__ALSO,R_0043_0027__ENLIGHTENMENT,R_0043_0024__THE_R_0043_0025__WORLD,R_0043_0021__A_R_0043_0022__TASTE,Z_000_43_A_KYOTO_2_58,R_0043_0019__TO_R_0043_0020__GET,R_0043_0018__METHODS,Z_000_43_A_KYOTO_2_91,R_0043_0028__HAVE_R_0043_0030__BEEN_R_0043_0031__BORN,R_0043_0017__AND] :
      ( r_0043_0002__art(R_0043_0002__ART)
      & r_0043_0004__it(R_0043_0004__IT)
      & r_0043_0006__also(R_0043_0006__ALSO)
      & r_0043_0011__tea_r_0043_0012__ceremony(R_0043_0011__TEA_R_0043_0012__CEREMONY)
      & r_0043_0014__flower_r_0043_0015__arrangement(R_0043_0014__FLOWER_R_0043_0015__ARRANGEMENT)
      & r_0043_0027__enlightenment(R_0043_0027__ENLIGHTENMENT)
      & r_0043_0029__also(R_0043_0029__ALSO)
      & z_000_43_a_kyoto_2_18(Z_000_43_A_KYOTO_2_18)
      & z_000_43_a_kyoto_2_58(Z_000_43_A_KYOTO_2_58)
      & z_000_43_a_kyoto_2_91(Z_000_43_A_KYOTO_2_91)
      & r_0043_0017__and(R_0043_0017__AND)
      & has_conj2(R_0043_0017__AND,R_0043_0028__HAVE_R_0043_0030__BEEN_R_0043_0031__BORN)
      & r_0043_0028__have_r_0043_0030__been_r_0043_0031__born(R_0043_0028__HAVE_R_0043_0030__BEEN_R_0043_0031__BORN)
      & has_arg0(R_0043_0028__HAVE_R_0043_0030__BEEN_R_0043_0031__BORN,Z_000_43_A_KYOTO_2_91)
      & has_arg1(R_0043_0028__HAVE_R_0043_0030__BEEN_R_0043_0031__BORN,R_0043_0018__METHODS)
      & r_0043_0018__methods(R_0043_0018__METHODS)
      & has_emb58(R_0043_0018__METHODS,R_0043_0019__TO_R_0043_0020__GET)
      & r_0043_0019__to_r_0043_0020__get(R_0043_0019__TO_R_0043_0020__GET)
      & has_arg0(R_0043_0019__TO_R_0043_0020__GET,Z_000_43_A_KYOTO_2_58)
      & has_arg1(R_0043_0019__TO_R_0043_0020__GET,R_0043_0021__A_R_0043_0022__TASTE)
      & r_0043_0021__a_r_0043_0022__taste(R_0043_0021__A_R_0043_0022__TASTE)
      & has_r_0043_0023__of(R_0043_0021__A_R_0043_0022__TASTE,R_0043_0024__THE_R_0043_0025__WORLD)
      & r_0043_0024__the_r_0043_0025__world(R_0043_0024__THE_R_0043_0025__WORLD)
      & has_r_0043_0026__of(R_0043_0024__THE_R_0043_0025__WORLD,R_0043_0027__ENLIGHTENMENT)
      & has_nim85(R_0043_0028__HAVE_R_0043_0030__BEEN_R_0043_0031__BORN,R_0043_0029__ALSO)
      & has_conj1(R_0043_0017__AND,R_0043_0005__IS_R_0043_0007__EXPRESSED)
      & r_0043_0005__is_r_0043_0007__expressed(R_0043_0005__IS_R_0043_0007__EXPRESSED)
      & has_arg0(R_0043_0005__IS_R_0043_0007__EXPRESSED,Z_000_43_A_KYOTO_2_18)
      & has_r_0043_0008__in_nim28(R_0043_0005__IS_R_0043_0007__EXPRESSED,R_0043_0009__DEPORTMENTS)
      & r_0043_0009__deportments(R_0043_0009__DEPORTMENTS)
      & has_r_0043_0010__such_as(R_0043_0009__DEPORTMENTS,R_0043_0013__AND)
      & r_0043_0013__and(R_0043_0013__AND)
      & has_conj2(R_0043_0013__AND,R_0043_0014__FLOWER_R_0043_0015__ARRANGEMENT)
      & has_conj1(R_0043_0013__AND,R_0043_0011__TEA_R_0043_0012__CEREMONY)
      & has_nim20(R_0043_0005__IS_R_0043_0007__EXPRESSED,R_0043_0006__ALSO)
      & has_arg1(R_0043_0005__IS_R_0043_0007__EXPRESSED,R_0043_0004__IT)
      & has_r_0043_0001__Other_than_in_nim7(R_0043_0005__IS_R_0043_0007__EXPRESSED,R_0043_0002__ART) ) ).

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE Other_than_in;{other_than_in})
                              (NP (N art;{art})))
                      (PUNC ,)
                      (NP-SBJ (PRO it;{it}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (ADVP-NIM (ADV also;{also}))
                                  (VVN;__ expressed;{express})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NS deportments;{deportment})
                                              (PP (P-ROLE such_as;{such_as})
                                                  (NP (NLYR (NLYR (N tea;{tea})
                                                                  (N ceremony;{ceremony}))
                                                            (CONJP (CONJ and;{and})
                                                                   (NLYR (N flower;{flower})
                                                                         (N arrangement;{arrangement}))))))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NS methods;{method})
                                     (IP-INF (TO to;{to})
                                             (VB;__ get;{get})
                                             (NP-OB1 (D a;{a})
                                                     (N taste;{taste})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (D the;{the})
                                                             (N world;{world})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (N enlightenment;{enlightenment}))))))))
                             (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (ADVP-NIM (ADV also;{also}))
                                         (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;__ born;{bear}))))))
          (PUNC .))
  (ID 43_a_kyoto_2;BDS_00002;43))