TSPC 56_a_kyoto

56_a_kyoto_2
A disciple has to listen to the sound of clapping with one hand and show that to the master.

( (IP-MAT (NP-SBJ (D A;{a})
                  (N disciple;{disciple}))
          (HVP;_cat_Vt_ has;{have})
          (IP-INF-CAT (TO to;{to})
                      (ILYR (ILYR (VB;__ listen;{listen})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (N sound;{sound})
                                              (PP (P-ROLE of;{of})
                                                  (NP (N clapping;{clapping})
                                                      (PP (P-ROLE with;{with})
                                                          (NP (NUM one;{one})
                                                              (N hand;{hand}))))))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;__ show;{show})
                                         (NP-OB1 (D;_nphd_ that;{that}))
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (N master;{master})))))))
          (PUNC .))
  (ID 56_a_kyoto_2;BDS_00002;55))

arc(r_0056_0003__has,r_0056_0014__and,scope).
arc(r_0056_0005__listen,r_0056_0001__A_r_0056_0002__disciple,arg0).
arc(r_0056_0005__listen,r_0056_0007__the_r_0056_0008__sound,r_0056_0006__to__clr).
arc(r_0056_0007__the_r_0056_0008__sound,r_0056_0010__clapping,r_0056_0009__of).
arc(r_0056_0010__clapping,r_0056_0012__one_r_0056_0013__hand,r_0056_0011__with).
arc(r_0056_0014__and,r_0056_0005__listen,conj1).
arc(r_0056_0014__and,r_0056_0015__show,conj2).
arc(r_0056_0015__show,r_0056_0001__A_r_0056_0002__disciple,arg0).
arc(r_0056_0015__show,r_0056_0016__that,arg1).
arc(r_0056_0015__show,r_0056_0018__the_r_0056_0019__master,r_0056_0017__to__clr).

fof(formula,axiom,
    ? [R_0056_0001__A_R_0056_0002__DISCIPLE,R_0056_0012__ONE_R_0056_0013__HAND,R_0056_0010__CLAPPING,R_0056_0007__THE_R_0056_0008__SOUND,R_0056_0005__LISTEN,R_0056_0016__THAT,R_0056_0018__THE_R_0056_0019__MASTER,R_0056_0015__SHOW,R_0056_0014__AND,R_0056_0003__HAS] :
      ( r_0056_0001__A_r_0056_0002__disciple(R_0056_0001__A_R_0056_0002__DISCIPLE)
      & r_0056_0012__one_r_0056_0013__hand(R_0056_0012__ONE_R_0056_0013__HAND)
      & r_0056_0016__that(R_0056_0016__THAT)
      & r_0056_0018__the_r_0056_0019__master(R_0056_0018__THE_R_0056_0019__MASTER)
      & r_0056_0003__has(R_0056_0003__HAS)
      & has_keep_scope(R_0056_0003__HAS,R_0056_0014__AND)
      & r_0056_0014__and(R_0056_0014__AND)
      & has_conj2(R_0056_0014__AND,R_0056_0015__SHOW)
      & r_0056_0015__show(R_0056_0015__SHOW)
      & has_r_0056_0017__to__clr(R_0056_0015__SHOW,R_0056_0018__THE_R_0056_0019__MASTER)
      & has_arg1(R_0056_0015__SHOW,R_0056_0016__THAT)
      & has_arg0(R_0056_0015__SHOW,R_0056_0001__A_R_0056_0002__DISCIPLE)
      & has_conj1(R_0056_0014__AND,R_0056_0005__LISTEN)
      & r_0056_0005__listen(R_0056_0005__LISTEN)
      & has_r_0056_0006__to__clr(R_0056_0005__LISTEN,R_0056_0007__THE_R_0056_0008__SOUND)
      & r_0056_0007__the_r_0056_0008__sound(R_0056_0007__THE_R_0056_0008__SOUND)
      & has_r_0056_0009__of(R_0056_0007__THE_R_0056_0008__SOUND,R_0056_0010__CLAPPING)
      & r_0056_0010__clapping(R_0056_0010__CLAPPING)
      & has_r_0056_0011__with(R_0056_0010__CLAPPING,R_0056_0012__ONE_R_0056_0013__HAND)
      & has_arg0(R_0056_0005__LISTEN,R_0056_0001__A_R_0056_0002__DISCIPLE) ) ).