TSPC 57_a_kyoto

57_a_kyoto_2
By intellectual understanding, it is impossible to clap with one hand and make a sound.

( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (ADJP (ADJ intellectual;{intellectual}))
                      (N understanding;{understanding})))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ impossible;{impossible}))
          (IP-INF-NSBJ (TO to;{to})
                       (ILYR (ILYR (VB;__ clap;{clap})
                                   (PP-NIM (P-ROLE with;{with})
                                           (NP (NUM one;{one})
                                               (N hand;{hand}))))
                             (CONJP (CONJ and;{and})
                                    (ILYR (VB;__ make;{make})
                                          (NP-OB1 (D a;{a})
                                                  (N sound;{sound}))))))
          (PUNC .))
  (ID 57_a_kyoto_2;BDS_00002;56))

arc(r_0057_0003__understanding,r_0057_0002__intellectual,attrib).
arc(r_0057_0006__is,r_0057_0003__understanding,r_0057_0001__By__nim).
arc(r_0057_0006__is,r_0057_0007__impossible,prd).
arc(r_0057_0006__is,r_0057_0013__and,arg0).
arc(r_0057_0009__clap,r_0057_0011__one_r_0057_0012__hand,r_0057_0010__with__nim).
arc(r_0057_0009__clap,z_0057_5003,arg0).
arc(r_0057_0013__and,r_0057_0009__clap,conj1).
arc(r_0057_0013__and,r_0057_0014__make,conj2).
arc(r_0057_0014__make,r_0057_0015__a_r_0057_0016__sound,arg1).
arc(r_0057_0014__make,z_0057_5003,arg0).

fof(formula,axiom,
    ? [R_0057_0002__INTELLECTUAL,R_0057_0003__UNDERSTANDING,R_0057_0007__IMPOSSIBLE,R_0057_0011__ONE_R_0057_0012__HAND,Z_0057_5003,R_0057_0009__CLAP,R_0057_0015__A_R_0057_0016__SOUND,R_0057_0014__MAKE,R_0057_0013__AND,R_0057_0006__IS] :
      ( r_0057_0002__intellectual(R_0057_0002__INTELLECTUAL)
      & r_0057_0007__impossible(R_0057_0007__IMPOSSIBLE)
      & r_0057_0011__one_r_0057_0012__hand(R_0057_0011__ONE_R_0057_0012__HAND)
      & r_0057_0015__a_r_0057_0016__sound(R_0057_0015__A_R_0057_0016__SOUND)
      & z_0057_5003(Z_0057_5003)
      & r_0057_0006__is(R_0057_0006__IS)
      & has_arg0(R_0057_0006__IS,R_0057_0013__AND)
      & r_0057_0013__and(R_0057_0013__AND)
      & has_conj2(R_0057_0013__AND,R_0057_0014__MAKE)
      & r_0057_0014__make(R_0057_0014__MAKE)
      & has_arg0(R_0057_0014__MAKE,Z_0057_5003)
      & has_arg1(R_0057_0014__MAKE,R_0057_0015__A_R_0057_0016__SOUND)
      & has_conj1(R_0057_0013__AND,R_0057_0009__CLAP)
      & r_0057_0009__clap(R_0057_0009__CLAP)
      & has_arg0(R_0057_0009__CLAP,Z_0057_5003)
      & has_r_0057_0010__with__nim(R_0057_0009__CLAP,R_0057_0011__ONE_R_0057_0012__HAND)
      & has_prd(R_0057_0006__IS,R_0057_0007__IMPOSSIBLE)
      & has_r_0057_0001__By__nim(R_0057_0006__IS,R_0057_0003__UNDERSTANDING)
      & r_0057_0003__understanding(R_0057_0003__UNDERSTANDING)
      & has_attrib(R_0057_0003__UNDERSTANDING,R_0057_0002__INTELLECTUAL) ) ).