TSPC 57_a_kyoto

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

arc(r_0057_0003__understanding, r_0057_0002__intellectual, attrib6).
arc(r_0057_0006__is, r_0057_0003__understanding, r_0057_0001__By_nim5).
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_nim31).
arc(r_0057_0009__clap, z_000_57_a_kyoto_2_13, 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_000_57_a_kyoto_2_13, 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_000_57_A_KYOTO_2_13,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_000_57_a_kyoto_2_13(Z_000_57_A_KYOTO_2_13)
      & 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_000_57_A_KYOTO_2_13)
      & 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_000_57_A_KYOTO_2_13)
      & has_r_0057_0010__with_nim31(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_nim5(R_0057_0006__IS,R_0057_0003__UNDERSTANDING)
      & r_0057_0003__understanding(R_0057_0003__UNDERSTANDING)
      & has_attrib6(R_0057_0003__UNDERSTANDING,R_0057_0002__INTELLECTUAL) ) ).

( (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))