TSPC 32_a_kyoto

32_a_kyoto_1
However, when the monks saw that he drew a rat with his tears that fell on the floor by using his big toe, they were impressed so they allowed him to draw pictures.

arc(r_0032_0003__when, r_0032_0006__saw, restriction).
arc(r_0032_0003__when, r_0032_0029__so, scope).
arc(r_0032_0006__saw, r_0032_0004__the_r_0032_0005__monks, arg0).
arc(r_0032_0006__saw, r_0032_0020__by, arg1).
arc(r_0032_0007__that_r_0032_0009__drew, r_0032_0008__he, arg0).
arc(r_0032_0007__that_r_0032_0009__drew, r_0032_0010__a_r_0032_0011__rat, arg1).
arc(r_0032_0007__that_r_0032_0009__drew, r_0032_0014__tears, r_0032_0012__with_nim35).
arc(r_0032_0014__tears, r_0032_0008__he, gen).
arc(r_0032_0015__that_r_0032_0016__fell, r_0032_0014__tears, arg0).
arc(r_0032_0015__that_r_0032_0016__fell, r_0032_0018__the_r_0032_0019__floor, r_0032_0017__on_clr51).
arc(r_0032_0020__by, r_0032_0007__that_r_0032_0009__drew, scope).
arc(r_0032_0020__by, r_0032_0021__using, restriction).
arc(r_0032_0021__using, r_0032_0008__he, arg0).
arc(r_0032_0021__using, r_0032_0024__toe, arg1).
arc(r_0032_0024__toe, r_0032_0008__he, gen).
arc(r_0032_0024__toe, r_0032_0023__big, attrib66).
arc(r_0032_0027__were, r_0032_0001__However, nim2).
arc(r_0032_0027__were, r_0032_0028__impressed, scope).
arc(r_0032_0028__impressed, r_0032_0004__the_r_0032_0005__monks, arg1).
arc(r_0032_0028__impressed, z_000_32_a_kyoto_1_79, arg0).
arc(r_0032_0029__so, r_0032_0027__were, scope).
arc(r_0032_0029__so, r_0032_0031__allowed, restriction).
arc(r_0032_0031__allowed, r_0032_0004__the_r_0032_0005__monks, arg0).
arc(r_0032_0031__allowed, r_0032_0033__to_r_0032_0034__draw, arg1).
arc(r_0032_0033__to_r_0032_0034__draw, r_0032_0032__him, arg0).
arc(r_0032_0033__to_r_0032_0034__draw, r_0032_0035__pictures, arg1).

fof(formula,axiom,
    ? [R_32_15_THAT_FELL,R_32_14_TEARS,R_32_8_HE,R_32_18_THE_FLOOR] :
      ( he(R_32_8_HE)
      & the_floor(R_32_18_THE_FLOOR)
      & ! [R_32_6_SAW,R_32_4_THE_MONKS,R_32_20_BY,R_32_21_USING,R_32_24_TOE,R_32_23_BIG,R_32_7_THAT_DREW,R_32_10_A_RAT] :
          ( ( the_monks(R_32_4_THE_MONKS)
            & big(R_32_23_BIG)
            & a_rat(R_32_10_A_RAT)
            & saw(R_32_6_SAW,R_32_4_THE_MONKS,R_32_20_BY)
            & by(R_32_20_BY)
            & conj1(R_32_20_BY,R_32_21_USING)
            & using(R_32_21_USING,R_32_8_HE,R_32_24_TOE)
            & toe(R_32_24_TOE)
            & attrib66(R_32_24_TOE,R_32_23_BIG)
            & gen(R_32_24_TOE,R_32_8_HE)
            & conj2(R_32_20_BY,R_32_7_THAT_DREW)
            & that_drew(R_32_7_THAT_DREW,R_32_8_HE,R_32_10_A_RAT)
            & with_nim35(R_32_7_THAT_DREW,R_32_14_TEARS) )
         => ? [R_32_29_SO,R_32_31_ALLOWED,R_32_33_TO_DRAW,R_32_32_HIM,R_32_35_PICTURES,R_32_27_WERE_IMPRESSED,Z_32_A_KYOTO_1_79,R_32_1_HOWEVER] :
              ( him(R_32_32_HIM)
              & pictures(R_32_35_PICTURES)
              & however(R_32_1_HOWEVER)
              & so(R_32_29_SO)
              & conj1(R_32_29_SO,R_32_31_ALLOWED)
              & allowed(R_32_31_ALLOWED,R_32_4_THE_MONKS,R_32_33_TO_DRAW)
              & to_draw(R_32_33_TO_DRAW,R_32_32_HIM,R_32_35_PICTURES)
              & conj2(R_32_29_SO,R_32_27_WERE_IMPRESSED)
              & were_impressed(R_32_27_WERE_IMPRESSED,Z_32_A_KYOTO_1_79,R_32_4_THE_MONKS)
              & nim2(R_32_27_WERE_IMPRESSED,R_32_1_HOWEVER) ) )
      & that_fell(R_32_15_THAT_FELL,R_32_14_TEARS)
      & tears(R_32_14_TEARS)
      & gen(R_32_14_TEARS,R_32_8_HE)
      & on_clr51(R_32_15_THAT_FELL,R_32_18_THE_FLOOR) ) ).

( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{MONKS} (D the;{the})
                                           (NS monks;{monk}))
                           (VBD;_Tf_ saw;{see})
                           (CP-THT-OB1 (IP-SUB (C that;{that})
                                               (NP-SBJ;{SESSHU} (PRO he;{he}))
                                               (VBD;_Tn_ drew;{draw})
                                               (NP-OB1 (D a;{a})
                                                       (N rat;{rat}))
                                               (PP-NIM (P-ROLE with;{with})
                                                       (NP (NP-GEN;{SESSHU} (PRO;_genm_ his;{his}))
                                                           (NS tears;{tear})
                                                           (IP-REL (C that;{that})
                                                                   (NP-SBJ *T*)
                                                                   (VBD;_Ipr_ fell;{fall[on]})
                                                                   (PP-CLR (P-ROLE on;{on})
                                                                           (NP (D the;{the})
                                                                               (N floor;{floor}))))))
                                               (PP-SCON (P-CONN by;{by})
                                                        (IP-PPL2 (VAG;_Tn_ using;{use})
                                                                 (NP-OB1 (NP-GEN;{SESSHU} (PRO;_genm_ his;{his}))
                                                                         (ADJP (ADJ big;{big}))
                                                                         (N toe;{toe}))))))))
          (PUNC ,)
          (NP-SBJ;{MONKS} (PRO they;{they}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ impressed;{impress}))
          (PP-SCON (P-CONN so;{so})
                   (IP-ADV (NP-SBJ;{MONKS} (PRO they;{they}))
                           (VBD;_Tnt_ allowed;{allow})
                           (NP-DOB1;{SESSHU} (PRO him;{he}))
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Tn_ draw;{draw})
                                       (NP-OB1 (NS pictures;{picture})))))
          (PUNC .))
  (ID 32_a_kyoto_1;BDS_00001;32))