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.

n32_a_kyoto_1 n32_a_kyoto_1__1_1_1_1 However n32_a_kyoto_1__1_2_1 , n32_a_kyoto_1__1_3_1_1 when n32_a_kyoto_1__1_3_2_1_1_1 the n32_a_kyoto_1__1_3_2_1_2_1 monks n32_a_kyoto_1__1_3_2_2_1 saw n32_a_kyoto_1__1_3_2_3_1_1_1 that n32_a_kyoto_1__1_3_2_3_1_2_1_1 he n32_a_kyoto_1__1_3_2_3_1_3_1 drew n32_a_kyoto_1__1_3_2_3_1_4_1_1 a n32_a_kyoto_1__1_3_2_3_1_4_2_1 rat n32_a_kyoto_1__1_3_2_3_1_5_1_1 with n32_a_kyoto_1__1_3_2_3_1_5_2_1_1_1 his n32_a_kyoto_1__1_3_2_3_1_5_2_2_1 tears n32_a_kyoto_1__1_3_2_3_1_5_2_3_1_1 that n32_a_kyoto_1__1_3_2_3_1_5_2_3_2_1 *T* n32_a_kyoto_1__1_3_2_3_1_5_2_3_3_1 fell n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_1_1 on n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_1_1 the n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_2_1 floor n32_a_kyoto_1__1_3_2_3_1_6_1_1 by n32_a_kyoto_1__1_3_2_3_1_6_2_1_1 using n32_a_kyoto_1__1_3_2_3_1_6_2_2_1_1_1 his n32_a_kyoto_1__1_3_2_3_1_6_2_2_2_1_1 big n32_a_kyoto_1__1_3_2_3_1_6_2_2_3_1 toe n32_a_kyoto_1__1_4_1 , n32_a_kyoto_1__1_5_1_1 they n32_a_kyoto_1__1_6_1 were n32_a_kyoto_1__1_7_1_1 * n32_a_kyoto_1__1_7_2_1 impressed n32_a_kyoto_1__1_8_1_1 so n32_a_kyoto_1__1_8_2_1_1_1 they n32_a_kyoto_1__1_8_2_2_1 allowed n32_a_kyoto_1__1_8_2_3_1_1 him n32_a_kyoto_1__1_8_2_4_1_1 to n32_a_kyoto_1__1_8_2_4_2_1 draw n32_a_kyoto_1__1_8_2_4_3_1_1 pictures n32_a_kyoto_1__1_9_1 . n32_a_kyoto_1__1 IP-MAT n32_a_kyoto_1__1_1 ADVP-NIM n32_a_kyoto_1__1->n32_a_kyoto_1__1_1 n32_a_kyoto_1__1_2 PUNC n32_a_kyoto_1__1->n32_a_kyoto_1__1_2 n32_a_kyoto_1__1_3 PP-SCON n32_a_kyoto_1__1->n32_a_kyoto_1__1_3 n32_a_kyoto_1__1_4 PUNC n32_a_kyoto_1__1->n32_a_kyoto_1__1_4 n32_a_kyoto_1__1_5 NP-SBJ n32_a_kyoto_1__1->n32_a_kyoto_1__1_5 n32_a_kyoto_1__1_6 BED;_cat_VePASS_ n32_a_kyoto_1__1->n32_a_kyoto_1__1_6 n32_a_kyoto_1__1_7 IP-PPL-CAT n32_a_kyoto_1__1->n32_a_kyoto_1__1_7 n32_a_kyoto_1__1_8 PP-SCON n32_a_kyoto_1__1->n32_a_kyoto_1__1_8 n32_a_kyoto_1__1_9 PUNC n32_a_kyoto_1__1->n32_a_kyoto_1__1_9 n32_a_kyoto_1__1_1_1 ADV n32_a_kyoto_1__1_1->n32_a_kyoto_1__1_1_1 n32_a_kyoto_1__1_1_1->n32_a_kyoto_1__1_1_1_1 n32_a_kyoto_1__1_2->n32_a_kyoto_1__1_2_1 n32_a_kyoto_1__1_3_1 P-CONN n32_a_kyoto_1__1_3->n32_a_kyoto_1__1_3_1 n32_a_kyoto_1__1_3_2 IP-ADV n32_a_kyoto_1__1_3->n32_a_kyoto_1__1_3_2 n32_a_kyoto_1__1_3_1->n32_a_kyoto_1__1_3_1_1 n32_a_kyoto_1__1_3_2_1 NP-SBJ n32_a_kyoto_1__1_3_2->n32_a_kyoto_1__1_3_2_1 n32_a_kyoto_1__1_3_2_2 VBD;_Tf_ n32_a_kyoto_1__1_3_2->n32_a_kyoto_1__1_3_2_2 n32_a_kyoto_1__1_3_2_3 CP-THT-OB1 n32_a_kyoto_1__1_3_2->n32_a_kyoto_1__1_3_2_3 n32_a_kyoto_1__1_3_2_1_1 D n32_a_kyoto_1__1_3_2_1->n32_a_kyoto_1__1_3_2_1_1 n32_a_kyoto_1__1_3_2_1_2 NS n32_a_kyoto_1__1_3_2_1->n32_a_kyoto_1__1_3_2_1_2 n32_a_kyoto_1__1_3_2_1_1->n32_a_kyoto_1__1_3_2_1_1_1 n32_a_kyoto_1__1_3_2_1_2->n32_a_kyoto_1__1_3_2_1_2_1 n32_a_kyoto_1__1_3_2_2->n32_a_kyoto_1__1_3_2_2_1 n32_a_kyoto_1__1_3_2_3_1 IP-SUB n32_a_kyoto_1__1_3_2_3->n32_a_kyoto_1__1_3_2_3_1 n32_a_kyoto_1__1_3_2_3_1_1 C n32_a_kyoto_1__1_3_2_3_1->n32_a_kyoto_1__1_3_2_3_1_1 n32_a_kyoto_1__1_3_2_3_1_2 NP-SBJ n32_a_kyoto_1__1_3_2_3_1->n32_a_kyoto_1__1_3_2_3_1_2 n32_a_kyoto_1__1_3_2_3_1_3 VBD;_Tn_ n32_a_kyoto_1__1_3_2_3_1->n32_a_kyoto_1__1_3_2_3_1_3 n32_a_kyoto_1__1_3_2_3_1_4 NP-OB1 n32_a_kyoto_1__1_3_2_3_1->n32_a_kyoto_1__1_3_2_3_1_4 n32_a_kyoto_1__1_3_2_3_1_5 PP-NIM n32_a_kyoto_1__1_3_2_3_1->n32_a_kyoto_1__1_3_2_3_1_5 n32_a_kyoto_1__1_3_2_3_1_6 PP-SCON n32_a_kyoto_1__1_3_2_3_1->n32_a_kyoto_1__1_3_2_3_1_6 n32_a_kyoto_1__1_3_2_3_1_1->n32_a_kyoto_1__1_3_2_3_1_1_1 n32_a_kyoto_1__1_3_2_3_1_2_1 PRO n32_a_kyoto_1__1_3_2_3_1_2->n32_a_kyoto_1__1_3_2_3_1_2_1 n32_a_kyoto_1__1_3_2_3_1_2_1->n32_a_kyoto_1__1_3_2_3_1_2_1_1 n32_a_kyoto_1__1_3_2_3_1_3->n32_a_kyoto_1__1_3_2_3_1_3_1 n32_a_kyoto_1__1_3_2_3_1_4_1 D n32_a_kyoto_1__1_3_2_3_1_4->n32_a_kyoto_1__1_3_2_3_1_4_1 n32_a_kyoto_1__1_3_2_3_1_4_2 N n32_a_kyoto_1__1_3_2_3_1_4->n32_a_kyoto_1__1_3_2_3_1_4_2 n32_a_kyoto_1__1_3_2_3_1_4_1->n32_a_kyoto_1__1_3_2_3_1_4_1_1 n32_a_kyoto_1__1_3_2_3_1_4_2->n32_a_kyoto_1__1_3_2_3_1_4_2_1 n32_a_kyoto_1__1_3_2_3_1_5_1 P-ROLE n32_a_kyoto_1__1_3_2_3_1_5->n32_a_kyoto_1__1_3_2_3_1_5_1 n32_a_kyoto_1__1_3_2_3_1_5_2 NP n32_a_kyoto_1__1_3_2_3_1_5->n32_a_kyoto_1__1_3_2_3_1_5_2 n32_a_kyoto_1__1_3_2_3_1_5_1->n32_a_kyoto_1__1_3_2_3_1_5_1_1 n32_a_kyoto_1__1_3_2_3_1_5_2_1 NP-GEN n32_a_kyoto_1__1_3_2_3_1_5_2->n32_a_kyoto_1__1_3_2_3_1_5_2_1 n32_a_kyoto_1__1_3_2_3_1_5_2_2 NS n32_a_kyoto_1__1_3_2_3_1_5_2->n32_a_kyoto_1__1_3_2_3_1_5_2_2 n32_a_kyoto_1__1_3_2_3_1_5_2_3 IP-REL n32_a_kyoto_1__1_3_2_3_1_5_2->n32_a_kyoto_1__1_3_2_3_1_5_2_3 n32_a_kyoto_1__1_3_2_3_1_5_2_1_1 PRO;_genm_ n32_a_kyoto_1__1_3_2_3_1_5_2_1->n32_a_kyoto_1__1_3_2_3_1_5_2_1_1 n32_a_kyoto_1__1_3_2_3_1_5_2_1_1->n32_a_kyoto_1__1_3_2_3_1_5_2_1_1_1 n32_a_kyoto_1__1_3_2_3_1_5_2_2->n32_a_kyoto_1__1_3_2_3_1_5_2_2_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_1 C n32_a_kyoto_1__1_3_2_3_1_5_2_3->n32_a_kyoto_1__1_3_2_3_1_5_2_3_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_2 NP-SBJ n32_a_kyoto_1__1_3_2_3_1_5_2_3->n32_a_kyoto_1__1_3_2_3_1_5_2_3_2 n32_a_kyoto_1__1_3_2_3_1_5_2_3_3 VBD;_Ipr_ n32_a_kyoto_1__1_3_2_3_1_5_2_3->n32_a_kyoto_1__1_3_2_3_1_5_2_3_3 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4 PP-CLR n32_a_kyoto_1__1_3_2_3_1_5_2_3->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4 n32_a_kyoto_1__1_3_2_3_1_5_2_3_1->n32_a_kyoto_1__1_3_2_3_1_5_2_3_1_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_2->n32_a_kyoto_1__1_3_2_3_1_5_2_3_2_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_3->n32_a_kyoto_1__1_3_2_3_1_5_2_3_3_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_1 P-ROLE n32_a_kyoto_1__1_3_2_3_1_5_2_3_4->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2 NP n32_a_kyoto_1__1_3_2_3_1_5_2_3_4->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_1->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_1_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_1 D n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_2 N n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_2 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_1->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_1_1 n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_2->n32_a_kyoto_1__1_3_2_3_1_5_2_3_4_2_2_1 n32_a_kyoto_1__1_3_2_3_1_6_1 P-CONN n32_a_kyoto_1__1_3_2_3_1_6->n32_a_kyoto_1__1_3_2_3_1_6_1 n32_a_kyoto_1__1_3_2_3_1_6_2 IP-PPL2 n32_a_kyoto_1__1_3_2_3_1_6->n32_a_kyoto_1__1_3_2_3_1_6_2 n32_a_kyoto_1__1_3_2_3_1_6_1->n32_a_kyoto_1__1_3_2_3_1_6_1_1 n32_a_kyoto_1__1_3_2_3_1_6_2_1 VAG;_Tn_ n32_a_kyoto_1__1_3_2_3_1_6_2->n32_a_kyoto_1__1_3_2_3_1_6_2_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2 NP-OB1 n32_a_kyoto_1__1_3_2_3_1_6_2->n32_a_kyoto_1__1_3_2_3_1_6_2_2 n32_a_kyoto_1__1_3_2_3_1_6_2_1->n32_a_kyoto_1__1_3_2_3_1_6_2_1_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2_1 NP-GEN n32_a_kyoto_1__1_3_2_3_1_6_2_2->n32_a_kyoto_1__1_3_2_3_1_6_2_2_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2_2 ADJP n32_a_kyoto_1__1_3_2_3_1_6_2_2->n32_a_kyoto_1__1_3_2_3_1_6_2_2_2 n32_a_kyoto_1__1_3_2_3_1_6_2_2_3 N n32_a_kyoto_1__1_3_2_3_1_6_2_2->n32_a_kyoto_1__1_3_2_3_1_6_2_2_3 n32_a_kyoto_1__1_3_2_3_1_6_2_2_1_1 PRO;_genm_ n32_a_kyoto_1__1_3_2_3_1_6_2_2_1->n32_a_kyoto_1__1_3_2_3_1_6_2_2_1_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2_1_1->n32_a_kyoto_1__1_3_2_3_1_6_2_2_1_1_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2_2_1 ADJ n32_a_kyoto_1__1_3_2_3_1_6_2_2_2->n32_a_kyoto_1__1_3_2_3_1_6_2_2_2_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2_2_1->n32_a_kyoto_1__1_3_2_3_1_6_2_2_2_1_1 n32_a_kyoto_1__1_3_2_3_1_6_2_2_3->n32_a_kyoto_1__1_3_2_3_1_6_2_2_3_1 n32_a_kyoto_1__1_4->n32_a_kyoto_1__1_4_1 n32_a_kyoto_1__1_5_1 PRO n32_a_kyoto_1__1_5->n32_a_kyoto_1__1_5_1 n32_a_kyoto_1__1_5_1->n32_a_kyoto_1__1_5_1_1 n32_a_kyoto_1__1_6->n32_a_kyoto_1__1_6_1 n32_a_kyoto_1__1_7_1 NP-LGS n32_a_kyoto_1__1_7->n32_a_kyoto_1__1_7_1 n32_a_kyoto_1__1_7_2 VVN;_Tn_ n32_a_kyoto_1__1_7->n32_a_kyoto_1__1_7_2 n32_a_kyoto_1__1_7_1->n32_a_kyoto_1__1_7_1_1 n32_a_kyoto_1__1_7_2->n32_a_kyoto_1__1_7_2_1 n32_a_kyoto_1__1_8_1 P-CONN n32_a_kyoto_1__1_8->n32_a_kyoto_1__1_8_1 n32_a_kyoto_1__1_8_2 IP-ADV n32_a_kyoto_1__1_8->n32_a_kyoto_1__1_8_2 n32_a_kyoto_1__1_8_1->n32_a_kyoto_1__1_8_1_1 n32_a_kyoto_1__1_8_2_1 NP-SBJ n32_a_kyoto_1__1_8_2->n32_a_kyoto_1__1_8_2_1 n32_a_kyoto_1__1_8_2_2 VBD;_Tnt_ n32_a_kyoto_1__1_8_2->n32_a_kyoto_1__1_8_2_2 n32_a_kyoto_1__1_8_2_3 NP-DOB1 n32_a_kyoto_1__1_8_2->n32_a_kyoto_1__1_8_2_3 n32_a_kyoto_1__1_8_2_4 IP-INF-OB1 n32_a_kyoto_1__1_8_2->n32_a_kyoto_1__1_8_2_4 n32_a_kyoto_1__1_8_2_1_1 PRO n32_a_kyoto_1__1_8_2_1->n32_a_kyoto_1__1_8_2_1_1 n32_a_kyoto_1__1_8_2_1_1->n32_a_kyoto_1__1_8_2_1_1_1 n32_a_kyoto_1__1_8_2_2->n32_a_kyoto_1__1_8_2_2_1 n32_a_kyoto_1__1_8_2_3_1 PRO n32_a_kyoto_1__1_8_2_3->n32_a_kyoto_1__1_8_2_3_1 n32_a_kyoto_1__1_8_2_3_1->n32_a_kyoto_1__1_8_2_3_1_1 n32_a_kyoto_1__1_8_2_4_1 TO n32_a_kyoto_1__1_8_2_4->n32_a_kyoto_1__1_8_2_4_1 n32_a_kyoto_1__1_8_2_4_2 VB;_Tn_ n32_a_kyoto_1__1_8_2_4->n32_a_kyoto_1__1_8_2_4_2 n32_a_kyoto_1__1_8_2_4_3 NP-OB1 n32_a_kyoto_1__1_8_2_4->n32_a_kyoto_1__1_8_2_4_3 n32_a_kyoto_1__1_8_2_4_1->n32_a_kyoto_1__1_8_2_4_1_1 n32_a_kyoto_1__1_8_2_4_2->n32_a_kyoto_1__1_8_2_4_2_1 n32_a_kyoto_1__1_8_2_4_3_1 NS n32_a_kyoto_1__1_8_2_4_3->n32_a_kyoto_1__1_8_2_4_3_1 n32_a_kyoto_1__1_8_2_4_3_1->n32_a_kyoto_1__1_8_2_4_3_1_1 n32_a_kyoto_1__1_9->n32_a_kyoto_1__1_9_1
( (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))



%3 r_0032_0034__draw draw r_0032_0035__pictures pictures r_0032_0034__draw->r_0032_0035__pictures [arg1] r_0032_0008__he he r_0032_0034__draw->r_0032_0008__he [arg0] r_0032_0031__allowed allowed r_0032_0031__allowed->r_0032_0034__draw [arg1] r_0032_0004__the_r_0032_0005__monks the monks r_0032_0031__allowed->r_0032_0004__the_r_0032_0005__monks [arg0] r_0032_0029__so so r_0032_0029__so->r_0032_0031__allowed [restriction] r_0032_0027__were were r_0032_0029__so->r_0032_0027__were [scope] r_0032_0028__impressed impressed r_0032_0027__were->r_0032_0028__impressed [scope] r_0032_0001__However However r_0032_0027__were->r_0032_0001__However [nim] r_0032_0028__impressed->r_0032_0004__the_r_0032_0005__monks [arg1] z_0032_5026___star_ * r_0032_0028__impressed->z_0032_5026___star_ [arg0] r_0032_0024__toe toe r_0032_0024__toe->r_0032_0008__he [gen] r_0032_0023__big big r_0032_0024__toe->r_0032_0023__big [attrib] r_0032_0021__using using r_0032_0021__using->r_0032_0008__he [arg0] r_0032_0021__using->r_0032_0024__toe [arg1] r_0032_0020__by by r_0032_0020__by->r_0032_0021__using [restriction] r_0032_0009__drew drew r_0032_0020__by->r_0032_0009__drew [scope] r_0032_0009__drew->r_0032_0008__he [arg0] r_0032_0014__tears tears r_0032_0009__drew->r_0032_0014__tears with [nim] r_0032_0010__a_r_0032_0011__rat a rat r_0032_0009__drew->r_0032_0010__a_r_0032_0011__rat [arg1] r_0032_0016__fell_r_0032_0017__on fell on r_0032_0018__the_r_0032_0019__floor the floor r_0032_0016__fell_r_0032_0017__on->r_0032_0018__the_r_0032_0019__floor [arg1] r_0032_0016__fell_r_0032_0017__on->r_0032_0014__tears [inv_arg0] r_0032_0014__tears->r_0032_0008__he [gen] r_0032_0006__saw saw r_0032_0006__saw->r_0032_0004__the_r_0032_0005__monks [arg0] r_0032_0006__saw->r_0032_0020__by [arg1] r_0032_0003__when when r_0032_0003__when->r_0032_0029__so [scope] r_0032_0003__when->r_0032_0006__saw [restriction]
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_0009__drew,r_0032_0008__he,arg0).
arc(r_0032_0009__drew,r_0032_0010__a_r_0032_0011__rat,arg1).
arc(r_0032_0009__drew,r_0032_0014__tears,r_0032_0012__with__nim).
arc(r_0032_0014__tears,r_0032_0008__he,gen).
arc(r_0032_0016__fell_r_0032_0017__on,r_0032_0014__tears,inv_arg0).
arc(r_0032_0016__fell_r_0032_0017__on,r_0032_0018__the_r_0032_0019__floor,arg1).
arc(r_0032_0020__by,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,attrib).
arc(r_0032_0027__were,r_0032_0001__However,nim).
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_0032_5026___star_,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_0034__draw,arg1).
arc(r_0032_0034__draw,r_0032_0008__he,arg0).
arc(r_0032_0034__draw,r_0032_0035__pictures,arg1).



%3 r_0032_0003__when when r_0032_0006__saw saw r_0032_0003__when->r_0032_0006__saw [restriction] r_0032_0029__so so r_0032_0003__when->r_0032_0029__so [scope] r_0032_0004__the_r_0032_0005__monks the monks r_0032_0006__saw->r_0032_0004__the_r_0032_0005__monks [arg0] r_0032_0020__by by r_0032_0006__saw->r_0032_0020__by [arg1] r_0032_0027__were_r_0032_0028__impressed were impressed r_0032_0029__so->r_0032_0027__were_r_0032_0028__impressed [conj2] r_0032_0031__allowed allowed r_0032_0029__so->r_0032_0031__allowed [conj1] r_0032_0009__drew drew r_0032_0020__by->r_0032_0009__drew [conj2] r_0032_0021__using using r_0032_0020__by->r_0032_0021__using [conj1] r_0032_0008__he he r_0032_0009__drew->r_0032_0008__he [arg0] r_0032_0010__a_r_0032_0011__rat a rat r_0032_0009__drew->r_0032_0010__a_r_0032_0011__rat [arg1] r_0032_0014__tears tears r_0032_0009__drew->r_0032_0014__tears with [nim] r_0032_0014__tears->r_0032_0008__he [gen] r_0032_0016__fell_r_0032_0017__on fell on r_0032_0014__tears->r_0032_0016__fell_r_0032_0017__on [inv_arg0] r_0032_0018__the_r_0032_0019__floor the floor r_0032_0016__fell_r_0032_0017__on->r_0032_0018__the_r_0032_0019__floor [arg1] r_0032_0021__using->r_0032_0008__he [arg0] r_0032_0024__toe toe r_0032_0021__using->r_0032_0024__toe [arg1] r_0032_0024__toe->r_0032_0008__he [gen] r_0032_0023__big big r_0032_0024__toe->r_0032_0023__big [attrib] r_0032_0027__were_r_0032_0028__impressed->r_0032_0004__the_r_0032_0005__monks [arg1] r_0032_0001__However However r_0032_0027__were_r_0032_0028__impressed->r_0032_0001__However [nim] z_0032_5026___star_ * r_0032_0027__were_r_0032_0028__impressed->z_0032_5026___star_ [arg0] r_0032_0031__allowed->r_0032_0004__the_r_0032_0005__monks [arg0] r_0032_0034__draw draw r_0032_0031__allowed->r_0032_0034__draw [arg1] r_0032_0034__draw->r_0032_0008__he [arg0] r_0032_0035__pictures pictures r_0032_0034__draw->r_0032_0035__pictures [arg1]
fof(formula,axiom,
    ! [R_0032_0006__SAW,R_0032_0004__THE_R_0032_0005__MONKS,R_0032_0008__HE,R_0032_0010__A_R_0032_0011__RAT,R_0032_0018__THE_R_0032_0019__FLOOR,R_0032_0016__FELL_R_0032_0017__ON,R_0032_0014__TEARS,R_0032_0009__DREW,R_0032_0023__BIG,R_0032_0024__TOE,R_0032_0021__USING,R_0032_0020__BY] :
      ( ( r_0032_0004__the_r_0032_0005__monks(R_0032_0004__THE_R_0032_0005__MONKS)
        & r_0032_0008__he(R_0032_0008__HE)
        & r_0032_0010__a_r_0032_0011__rat(R_0032_0010__A_R_0032_0011__RAT)
        & r_0032_0018__the_r_0032_0019__floor(R_0032_0018__THE_R_0032_0019__FLOOR)
        & r_0032_0023__big(R_0032_0023__BIG)
        & r_0032_0006__saw(R_0032_0006__SAW)
        & has_arg1(R_0032_0006__SAW,R_0032_0020__BY)
        & r_0032_0020__by(R_0032_0020__BY)
        & has_conj1(R_0032_0020__BY,R_0032_0021__USING)
        & r_0032_0021__using(R_0032_0021__USING)
        & has_arg1(R_0032_0021__USING,R_0032_0024__TOE)
        & r_0032_0024__toe(R_0032_0024__TOE)
        & has_attrib(R_0032_0024__TOE,R_0032_0023__BIG)
        & has_gen(R_0032_0024__TOE,R_0032_0008__HE)
        & has_arg0(R_0032_0021__USING,R_0032_0008__HE)
        & has_conj2(R_0032_0020__BY,R_0032_0009__DREW)
        & r_0032_0009__drew(R_0032_0009__DREW)
        & has_r_0032_0012__with__nim(R_0032_0009__DREW,R_0032_0014__TEARS)
        & r_0032_0014__tears(R_0032_0014__TEARS)
        & has_inv_arg0(R_0032_0014__TEARS,R_0032_0016__FELL_R_0032_0017__ON)
        & r_0032_0016__fell_r_0032_0017__on(R_0032_0016__FELL_R_0032_0017__ON)
        & has_arg1(R_0032_0016__FELL_R_0032_0017__ON,R_0032_0018__THE_R_0032_0019__FLOOR)
        & has_gen(R_0032_0014__TEARS,R_0032_0008__HE)
        & has_arg1(R_0032_0009__DREW,R_0032_0010__A_R_0032_0011__RAT)
        & has_arg0(R_0032_0009__DREW,R_0032_0008__HE)
        & has_arg0(R_0032_0006__SAW,R_0032_0004__THE_R_0032_0005__MONKS) )
     => ? [R_0032_0001__HOWEVER,Z_0032_5026___STAR_,R_0032_0027__WERE_R_0032_0028__IMPRESSED,R_0032_0035__PICTURES,R_0032_0034__DRAW,R_0032_0031__ALLOWED,R_0032_0029__SO] :
          ( r_0032_0001__However(R_0032_0001__HOWEVER)
          & r_0032_0035__pictures(R_0032_0035__PICTURES)
          & z_0032_5026___star_(Z_0032_5026___STAR_)
          & r_0032_0029__so(R_0032_0029__SO)
          & has_conj1(R_0032_0029__SO,R_0032_0031__ALLOWED)
          & r_0032_0031__allowed(R_0032_0031__ALLOWED)
          & has_arg1(R_0032_0031__ALLOWED,R_0032_0034__DRAW)
          & r_0032_0034__draw(R_0032_0034__DRAW)
          & has_arg1(R_0032_0034__DRAW,R_0032_0035__PICTURES)
          & has_arg0(R_0032_0034__DRAW,R_0032_0008__HE)
          & has_arg0(R_0032_0031__ALLOWED,R_0032_0004__THE_R_0032_0005__MONKS)
          & has_conj2(R_0032_0029__SO,R_0032_0027__WERE_R_0032_0028__IMPRESSED)
          & r_0032_0027__were_r_0032_0028__impressed(R_0032_0027__WERE_R_0032_0028__IMPRESSED)
          & has_arg0(R_0032_0027__WERE_R_0032_0028__IMPRESSED,Z_0032_5026___STAR_)
          & has_arg1(R_0032_0027__WERE_R_0032_0028__IMPRESSED,R_0032_0004__THE_R_0032_0005__MONKS)
          & has_nim(R_0032_0027__WERE_R_0032_0028__IMPRESSED,R_0032_0001__HOWEVER) ) ) ).