TSPC 21_a_kyoto

21_a_kyoto_2
The important interaction between the master and disciple is called “a secret in the room” and is not to be taken out of the master's room and revealed publicly.

arc(r_0021_0001__The_r_0021_0003__interaction, r_0021_0002__important, attrib5).
arc(r_0021_0001__The_r_0021_0003__interaction, r_0021_0007__and, r_0021_0004__between).
arc(r_0021_0007__and, r_0021_0006__master, conj1).
arc(r_0021_0007__and, r_0021_0008__disciple, conj2).
arc(r_0021_0009__is, r_0021_0010__called, scope).
arc(r_0021_0010__called, r_0021_0001__The_r_0021_0003__interaction, arg1).
arc(r_0021_0010__called, r_0021_0012__a_r_0021_0013__secret, prd).
arc(r_0021_0010__called, z_000_21_a_kyoto_2_31, arg0).
arc(r_0021_0012__a_r_0021_0013__secret, r_0021_0015__the_r_0021_0016__room, r_0021_0014__in).
arc(r_0021_0018__and, r_0021_0009__is, conj1).
arc(r_0021_0018__and, r_0021_0020__not, conj2).
arc(r_0021_0019__is, r_0021_0021__to_r_0021_0022__be, scope).
arc(r_0021_0020__not, r_0021_0019__is, keep_scope).
arc(r_0021_0021__to_r_0021_0022__be, r_0021_0029__and, scope).
arc(r_0021_0023__taken, r_0021_0001__The_r_0021_0003__interaction, arg1).
arc(r_0021_0023__taken, r_0021_0028__room, r_0021_0024__out_of_clr75).
arc(r_0021_0023__taken, z_000_21_a_kyoto_2_68, arg0).
arc(r_0021_0028__room, r_0021_0025__the_r_0021_0026__master_r_0021_0027___apos_s, gen).
arc(r_0021_0029__and, r_0021_0023__taken, conj1).
arc(r_0021_0029__and, r_0021_0030__revealed, conj2).
arc(r_0021_0030__revealed, r_0021_0001__The_r_0021_0003__interaction, arg1).
arc(r_0021_0030__revealed, r_0021_0031__publicly, nim93).
arc(r_0021_0030__revealed, z_000_21_a_kyoto_2_89, arg0).

fof(formula,axiom,
    ? [R_0021_0002__IMPORTANT,R_0021_0006__MASTER,R_0021_0008__DISCIPLE,R_0021_0007__AND,R_0021_0001__THE_R_0021_0003__INTERACTION,R_0021_0015__THE_R_0021_0016__ROOM,R_0021_0012__A_R_0021_0013__SECRET,Z_000_21_A_KYOTO_2_31,R_0021_0009__IS_R_0021_0010__CALLED,R_0021_0018__AND] :
      ( r_0021_0002__important(R_0021_0002__IMPORTANT)
      & r_0021_0006__master(R_0021_0006__MASTER)
      & r_0021_0008__disciple(R_0021_0008__DISCIPLE)
      & r_0021_0015__the_r_0021_0016__room(R_0021_0015__THE_R_0021_0016__ROOM)
      & z_000_21_a_kyoto_2_31(Z_000_21_A_KYOTO_2_31)
      & r_0021_0018__and(R_0021_0018__AND)
      & has_conj2(R_0021_0018__AND,R_0021_0020__NOT)
      & ~ ? [R_0021_0025__THE_R_0021_0026__MASTER_R_0021_0027___APOS_S,R_0021_0028__ROOM,Z_000_21_A_KYOTO_2_68,R_0021_0023__TAKEN,R_0021_0031__PUBLICLY,Z_000_21_A_KYOTO_2_89,R_0021_0030__REVEALED,R_0021_0029__AND,R_0021_0019__IS_R_0021_0021__TO_R_0021_0022__BE] :
            ( r_0021_0025__the_r_0021_0026__master_r_0021_0027___apos_s(R_0021_0025__THE_R_0021_0026__MASTER_R_0021_0027___APOS_S)
            & r_0021_0031__publicly(R_0021_0031__PUBLICLY)
            & z_000_21_a_kyoto_2_68(Z_000_21_A_KYOTO_2_68)
            & z_000_21_a_kyoto_2_89(Z_000_21_A_KYOTO_2_89)
            & r_0021_0019__is_r_0021_0021__to_r_0021_0022__be(R_0021_0019__IS_R_0021_0021__TO_R_0021_0022__BE)
            & has_keep_scope(R_0021_0019__IS_R_0021_0021__TO_R_0021_0022__BE,R_0021_0029__AND)
            & r_0021_0029__and(R_0021_0029__AND)
            & has_conj2(R_0021_0029__AND,R_0021_0030__REVEALED)
            & r_0021_0030__revealed(R_0021_0030__REVEALED)
            & has_arg0(R_0021_0030__REVEALED,Z_000_21_A_KYOTO_2_89)
            & has_nim93(R_0021_0030__REVEALED,R_0021_0031__PUBLICLY)
            & has_arg1(R_0021_0030__REVEALED,R_0021_0001__THE_R_0021_0003__INTERACTION)
            & has_conj1(R_0021_0029__AND,R_0021_0023__TAKEN)
            & r_0021_0023__taken(R_0021_0023__TAKEN)
            & has_arg0(R_0021_0023__TAKEN,Z_000_21_A_KYOTO_2_68)
            & has_r_0021_0024__out_of_clr75(R_0021_0023__TAKEN,R_0021_0028__ROOM)
            & r_0021_0028__room(R_0021_0028__ROOM)
            & has_gen(R_0021_0028__ROOM,R_0021_0025__THE_R_0021_0026__MASTER_R_0021_0027___APOS_S)
            & has_arg1(R_0021_0023__TAKEN,R_0021_0001__THE_R_0021_0003__INTERACTION) )
      & has_conj1(R_0021_0018__AND,R_0021_0009__IS_R_0021_0010__CALLED)
      & r_0021_0009__is_r_0021_0010__called(R_0021_0009__IS_R_0021_0010__CALLED)
      & has_arg0(R_0021_0009__IS_R_0021_0010__CALLED,Z_000_21_A_KYOTO_2_31)
      & has_prd(R_0021_0009__IS_R_0021_0010__CALLED,R_0021_0012__A_R_0021_0013__SECRET)
      & r_0021_0012__a_r_0021_0013__secret(R_0021_0012__A_R_0021_0013__SECRET)
      & has_r_0021_0014__in(R_0021_0012__A_R_0021_0013__SECRET,R_0021_0015__THE_R_0021_0016__ROOM)
      & has_arg1(R_0021_0009__IS_R_0021_0010__CALLED,R_0021_0001__THE_R_0021_0003__INTERACTION)
      & r_0021_0001__The_r_0021_0003__interaction(R_0021_0001__THE_R_0021_0003__INTERACTION)
      & has_r_0021_0004__between(R_0021_0001__THE_R_0021_0003__INTERACTION,R_0021_0007__AND)
      & r_0021_0007__and(R_0021_0007__AND)
      & has_conj2(R_0021_0007__AND,R_0021_0008__DISCIPLE)
      & has_conj1(R_0021_0007__AND,R_0021_0006__MASTER)
      & has_attrib5(R_0021_0001__THE_R_0021_0003__INTERACTION,R_0021_0002__IMPORTANT) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ important;{important}))
                  (N interaction;{interaction})
                  (PP (P-ROLE between;{between})
                      (NP (D the;{the})
                          (NLYR (NLYR (N master;{master}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (N disciple;{disciple})))))))
          (ILYR (ILYR (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n_ called;{call})
                                  (PULQ <ldquo>)
                                  (NP-PRD (D a;{a})
                                          (N secret;{secret})
                                          (PP (P-ROLE in;{in})
                                              (NP (D the;{the})
                                                  (N room;{room}))))
                                  (PURQ <rdquo>)))
                (CONJP (CONJ and;{and})
                       (ILYR (BEP;_cat_Vt_ is;{be})
                             (NEG not;{not})
                             (IP-INF-CAT (TO to;{to})
                                         (BE;_cat_VePASS_ be;{be})
                                         (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                 (VVN;_Tn.pr_ taken;{take[out_of]})
                                                                 (PP-CLR (P-ROLE out_of;{out_of})
                                                                         (NP (NP-GEN (D the;{the})
                                                                                     (N master;{master})
                                                                                     (GENM <apos>s))
                                                                             (N room;{room}))))
                                                           (CONJP (CONJ and;{and})
                                                                  (ILYR (NP-LGS *)
                                                                        (VVN;_Tn_ revealed;{reveal})
                                                                        (ADVP-NIM (ADV publicly;{publicly}))))))))))
          (PUNC .))
  (ID 21_a_kyoto_2;BDS_00002;21))