TSPC 31_a_kyoto

31_a_kyoto_1
A young Sesshu who entered Hofuku-ji Temple only liked pictures and did not want to read sutras; so the monks of the temple tied him to a pillar in the building enshrining a Buddhist statue.

arc(r_0031_0001__A_r_0031_0003__Sesshu, r_0031_0002__young, attrib7).
arc(r_0031_0005__entered, r_0031_0001__A_r_0031_0003__Sesshu, arg0).
arc(r_0031_0005__entered, r_0031_0006__Hofuku__hyphen__ji_r_0031_0007__Temple, arg1).
arc(r_0031_0009__liked, r_0031_0001__A_r_0031_0003__Sesshu, arg0).
arc(r_0031_0009__liked, r_0031_0008__only, nim25).
arc(r_0031_0009__liked, r_0031_0010__pictures, arg1).
arc(r_0031_0011__and, r_0031_0009__liked, conj1).
arc(r_0031_0011__and, r_0031_0013__not, conj2).
arc(r_0031_0012__did_r_0031_0014__want, r_0031_0001__A_r_0031_0003__Sesshu, arg0).
arc(r_0031_0012__did_r_0031_0014__want, r_0031_0015__to_r_0031_0016__read, arg1).
arc(r_0031_0013__not, r_0031_0012__did_r_0031_0014__want, keep_scope).
arc(r_0031_0015__to_r_0031_0016__read, r_0031_0001__A_r_0031_0003__Sesshu, arg0).
arc(r_0031_0015__to_r_0031_0016__read, r_0031_0017__sutras, arg1).
arc(r_0031_0020__the_r_0031_0021__monks, r_0031_0023__the_r_0031_0024__temple, r_0031_0022__of).
arc(r_0031_0025__tied, r_0031_0001__A_r_0031_0003__Sesshu, arg1).
arc(r_0031_0025__tied, r_0031_0019__so, nim55).
arc(r_0031_0025__tied, r_0031_0020__the_r_0031_0021__monks, arg0).
arc(r_0031_0025__tied, r_0031_0028__a_r_0031_0029__pillar, r_0031_0027__to_nim79).
arc(r_0031_0028__a_r_0031_0029__pillar, r_0031_0031__the_r_0031_0032__building, r_0031_0030__in).
arc(r_0031_0033__enshrining, r_0031_0028__a_r_0031_0029__pillar, arg0).
arc(r_0031_0033__enshrining, r_0031_0034__a_r_0031_0036__statue, arg1).
arc(r_0031_0034__a_r_0031_0036__statue, r_0031_0035__Buddhist, attrib98).
arc(z_000_31_a_kyoto_1_2, r_0031_0011__and, conj1).
arc(z_000_31_a_kyoto_1_2, r_0031_0025__tied, conj2).

fof(formula,axiom,
    ? [R_31_5_ENTERED,R_31_6_HOFUKU_HYPHEN_JI_TEMPLE,R_31_33_ENSHRINING,R_31_34_A_STATUE,R_31_35_BUDDHIST,Z_31_A_KYOTO_1_2,R_31_11_AND,R_31_9_LIKED,R_31_10_PICTURES,R_31_8_ONLY,R_31_25_TIED,R_31_20_THE_MONKS,R_31_23_THE_TEMPLE,R_31_1_A_SESSHU,R_31_2_YOUNG,R_31_19_SO,R_31_28_A_PILLAR,R_31_31_THE_BUILDING] :
      ( hofuku_hyphen_ji_Temple(R_31_6_HOFUKU_HYPHEN_JI_TEMPLE)
      & buddhist(R_31_35_BUDDHIST)
      & pictures(R_31_10_PICTURES)
      & only(R_31_8_ONLY)
      & the_temple(R_31_23_THE_TEMPLE)
      & young(R_31_2_YOUNG)
      & so(R_31_19_SO)
      & the_building(R_31_31_THE_BUILDING)
      & entered(R_31_5_ENTERED,R_31_1_A_SESSHU,R_31_6_HOFUKU_HYPHEN_JI_TEMPLE)
      & a_Sesshu(R_31_1_A_SESSHU)
      & attrib7(R_31_1_A_SESSHU,R_31_2_YOUNG)
      & enshrining(R_31_33_ENSHRINING,R_31_28_A_PILLAR,R_31_34_A_STATUE)
      & a_pillar(R_31_28_A_PILLAR)
      & in(R_31_28_A_PILLAR,R_31_31_THE_BUILDING)
      & a_statue(R_31_34_A_STATUE)
      & attrib98(R_31_34_A_STATUE,R_31_35_BUDDHIST)
      & z_31_a_kyoto_1_2(Z_31_A_KYOTO_1_2)
      & conj1(Z_31_A_KYOTO_1_2,R_31_11_AND)
      & and(R_31_11_AND)
      & conj1(R_31_11_AND,R_31_9_LIKED)
      & liked(R_31_9_LIKED,R_31_1_A_SESSHU,R_31_10_PICTURES)
      & nim25(R_31_9_LIKED,R_31_8_ONLY)
      & conj2(R_31_11_AND,R_31_13_NOT)
      & ~ ? [R_31_12_DID_WANT,R_31_15_TO_READ,R_31_17_SUTRAS] :
            ( sutras(R_31_17_SUTRAS)
            & did_want(R_31_12_DID_WANT,R_31_1_A_SESSHU,R_31_15_TO_READ)
            & to_read(R_31_15_TO_READ,R_31_1_A_SESSHU,R_31_17_SUTRAS) )
      & conj2(Z_31_A_KYOTO_1_2,R_31_25_TIED)
      & tied(R_31_25_TIED,R_31_20_THE_MONKS,R_31_1_A_SESSHU)
      & the_monks(R_31_20_THE_MONKS)
      & of(R_31_20_THE_MONKS,R_31_23_THE_TEMPLE)
      & nim55(R_31_25_TIED,R_31_19_SO)
      & to_nim79(R_31_25_TIED,R_31_28_A_PILLAR) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{SESSHU} (D A;{a})
                                       (ADJP (ADJ young;{young}))
                                       (NPR Sesshu;{Sesshu})
                                       (IP-REL (NP-SBJ (RPRO who;{who}))
                                               (VBD;_Tn_ entered;{enter})
                                               (NP-OB1 (NPR Hofuku_<hyphen>_ji;{Hofuku_ji})
                                                       (NPR Temple;{Temple}))))
                      (ILYR (ILYR (ADVP-NIM (ADV only;{only}))
                                  (VBD;_Tn_ liked;{like})
                                  (NP-OB1 (NS pictures;{picture})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (DOD did;{do})
                                         (NEG not;{not})
                                         (VB;_Tt_ want;{want})
                                         (IP-INF-OB1 (TO to;{to})
                                                     (VB;_Tn_ read;{read})
                                                     (NP-OB1 (NS sutras;{sutra})))))))
                (PUNC ;)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ (D the;{the})
                                     (NS monks;{monk})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (N temple;{temple}))))
                             (VBD;_Tn.pr_ tied;{tie[to]})
                             (NP-OB1;{SESSHU} (PRO him;{he}))
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (D a;{a})
                                         (N pillar;{pillar})
                                         (PP (P-ROLE in;{in})
                                             (NP (D the;{the})
                                                 (N building;{building})))
                                         (IP-PPL (VAG;_Tn_ enshrining;{enshrine})
                                                 (NP-OB1 (D a;{a})
                                                         (ADJP (ADJ Buddhist;{buddhist}))
                                                         (N statue;{statue}))))))))
          (PUNC .))
  (ID 31_a_kyoto_1;BDS_00001;31))