Context                Previous, Next                Top


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

%3 r_0057_0003__understanding understanding r_0057_0002__intellectual intellectual r_0057_0003__understanding->r_0057_0002__intellectual [attrib] r_0057_0006__is is r_0057_0006__is->r_0057_0003__understanding By [nim] r_0057_0007__impossible impossible r_0057_0006__is->r_0057_0007__impossible [prd] r_0057_0013__and and r_0057_0006__is->r_0057_0013__and [arg0] r_0057_0009__clap clap r_0057_0013__and->r_0057_0009__clap [conj1] r_0057_0014__make make r_0057_0013__and->r_0057_0014__make [conj2] r_0057_0011__one_r_0057_0012__hand one hand r_0057_0009__clap->r_0057_0011__one_r_0057_0012__hand with [nim] z_000_57_a_kyoto_2_13 r_0057_0009__clap->z_000_57_a_kyoto_2_13 [arg0] r_0057_0014__make->z_000_57_a_kyoto_2_13 [arg0] r_0057_0015__a_r_0057_0016__sound a sound r_0057_0014__make->r_0057_0015__a_r_0057_0016__sound [arg1] 
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).


%3 r_0057_0014__make make z_000_57_a_kyoto_2_13 r_0057_0014__make->z_000_57_a_kyoto_2_13 [arg0] r_0057_0015__a_r_0057_0016__sound a sound r_0057_0014__make->r_0057_0015__a_r_0057_0016__sound [arg1] r_0057_0013__and and r_0057_0013__and->r_0057_0014__make [conj2] r_0057_0009__clap clap r_0057_0013__and->r_0057_0009__clap [conj1] r_0057_0009__clap->z_000_57_a_kyoto_2_13 [arg0] r_0057_0011__one_r_0057_0012__hand one hand r_0057_0009__clap->r_0057_0011__one_r_0057_0012__hand with [nim] r_0057_0006__is is r_0057_0006__is->r_0057_0013__and [arg0] r_0057_0007__impossible impossible r_0057_0006__is->r_0057_0007__impossible [prd] r_0057_0003__understanding understanding r_0057_0006__is->r_0057_0003__understanding By [nim] r_0057_0002__intellectual intellectual r_0057_0003__understanding->r_0057_0002__intellectual [attrib] 
fof(formula,axiom,
    ? [R_57_6_IS,R_57_13_AND,R_57_9_CLAP,R_57_11_ONE_HAND,R_57_14_MAKE,Z_57_A_KYOTO_2_13,R_57_15_A_SOUND,R_57_7_IMPOSSIBLE,R_57_3_UNDERSTANDING,R_57_2_INTELLECTUAL] :
      ( one_hand(R_57_11_ONE_HAND)
      & a_sound(R_57_15_A_SOUND)
      & impossible(R_57_7_IMPOSSIBLE)
      & intellectual(R_57_2_INTELLECTUAL)
      & is(R_57_6_IS,R_57_13_AND,R_57_7_IMPOSSIBLE)
      & and(R_57_13_AND)
      & conj1(R_57_13_AND,R_57_9_CLAP)
      & clap(R_57_9_CLAP,Z_57_A_KYOTO_2_13)
      & with_nim31(R_57_9_CLAP,R_57_11_ONE_HAND)
      & conj2(R_57_13_AND,R_57_14_MAKE)
      & make(R_57_14_MAKE,Z_57_A_KYOTO_2_13,R_57_15_A_SOUND)
      & by_nim5(R_57_6_IS,R_57_3_UNDERSTANDING)
      & understanding(R_57_3_UNDERSTANDING)
      & attrib6(R_57_3_UNDERSTANDING,R_57_2_INTELLECTUAL) ) ).


n57_a_kyoto_2 n57_a_kyoto_2__1_1_1_1 By n57_a_kyoto_2__1_1_2_1_1_1 intellectual n57_a_kyoto_2__1_1_2_2_1 understanding n57_a_kyoto_2__1_2_1 , n57_a_kyoto_2__1_3_1_1 it n57_a_kyoto_2__1_4_1 is n57_a_kyoto_2__1_5_1_1 impossible n57_a_kyoto_2__1_6_1_1 to n57_a_kyoto_2__1_6_2_1_1_1 clap n57_a_kyoto_2__1_6_2_1_2_1_1 with n57_a_kyoto_2__1_6_2_1_2_2_1_1 one n57_a_kyoto_2__1_6_2_1_2_2_2_1 hand n57_a_kyoto_2__1_6_2_2_1_1 and n57_a_kyoto_2__1_6_2_2_2_1_1 make n57_a_kyoto_2__1_6_2_2_2_2_1_1 a n57_a_kyoto_2__1_6_2_2_2_2_2_1 sound n57_a_kyoto_2__1_7_1 . n57_a_kyoto_2__1 IP-MAT n57_a_kyoto_2__1_1 PP-NIM n57_a_kyoto_2__1->n57_a_kyoto_2__1_1 n57_a_kyoto_2__1_2 PUNC n57_a_kyoto_2__1->n57_a_kyoto_2__1_2 n57_a_kyoto_2__1_3 NP-SBJ n57_a_kyoto_2__1->n57_a_kyoto_2__1_3 n57_a_kyoto_2__1_4 BEP;_La_ n57_a_kyoto_2__1->n57_a_kyoto_2__1_4 n57_a_kyoto_2__1_5 ADJP-PRD n57_a_kyoto_2__1->n57_a_kyoto_2__1_5 n57_a_kyoto_2__1_6 IP-INF-NSBJ n57_a_kyoto_2__1->n57_a_kyoto_2__1_6 n57_a_kyoto_2__1_7 PUNC n57_a_kyoto_2__1->n57_a_kyoto_2__1_7 n57_a_kyoto_2__1_1_1 P-ROLE n57_a_kyoto_2__1_1->n57_a_kyoto_2__1_1_1 n57_a_kyoto_2__1_1_2 NP n57_a_kyoto_2__1_1->n57_a_kyoto_2__1_1_2 n57_a_kyoto_2__1_1_1->n57_a_kyoto_2__1_1_1_1 n57_a_kyoto_2__1_1_2_1 ADJP n57_a_kyoto_2__1_1_2->n57_a_kyoto_2__1_1_2_1 n57_a_kyoto_2__1_1_2_2 N n57_a_kyoto_2__1_1_2->n57_a_kyoto_2__1_1_2_2 n57_a_kyoto_2__1_1_2_1_1 ADJ n57_a_kyoto_2__1_1_2_1->n57_a_kyoto_2__1_1_2_1_1 n57_a_kyoto_2__1_1_2_1_1->n57_a_kyoto_2__1_1_2_1_1_1 n57_a_kyoto_2__1_1_2_2->n57_a_kyoto_2__1_1_2_2_1 n57_a_kyoto_2__1_2->n57_a_kyoto_2__1_2_1 n57_a_kyoto_2__1_3_1 PRO;_provisional_ n57_a_kyoto_2__1_3->n57_a_kyoto_2__1_3_1 n57_a_kyoto_2__1_3_1->n57_a_kyoto_2__1_3_1_1 n57_a_kyoto_2__1_4->n57_a_kyoto_2__1_4_1 n57_a_kyoto_2__1_5_1 ADJ n57_a_kyoto_2__1_5->n57_a_kyoto_2__1_5_1 n57_a_kyoto_2__1_5_1->n57_a_kyoto_2__1_5_1_1 n57_a_kyoto_2__1_6_1 TO n57_a_kyoto_2__1_6->n57_a_kyoto_2__1_6_1 n57_a_kyoto_2__1_6_2 ILYR n57_a_kyoto_2__1_6->n57_a_kyoto_2__1_6_2 n57_a_kyoto_2__1_6_1->n57_a_kyoto_2__1_6_1_1 n57_a_kyoto_2__1_6_2_1 ILYR n57_a_kyoto_2__1_6_2->n57_a_kyoto_2__1_6_2_1 n57_a_kyoto_2__1_6_2_2 CONJP n57_a_kyoto_2__1_6_2->n57_a_kyoto_2__1_6_2_2 n57_a_kyoto_2__1_6_2_1_1 VB;__ n57_a_kyoto_2__1_6_2_1->n57_a_kyoto_2__1_6_2_1_1 n57_a_kyoto_2__1_6_2_1_2 PP-NIM n57_a_kyoto_2__1_6_2_1->n57_a_kyoto_2__1_6_2_1_2 n57_a_kyoto_2__1_6_2_1_1->n57_a_kyoto_2__1_6_2_1_1_1 n57_a_kyoto_2__1_6_2_1_2_1 P-ROLE n57_a_kyoto_2__1_6_2_1_2->n57_a_kyoto_2__1_6_2_1_2_1 n57_a_kyoto_2__1_6_2_1_2_2 NP n57_a_kyoto_2__1_6_2_1_2->n57_a_kyoto_2__1_6_2_1_2_2 n57_a_kyoto_2__1_6_2_1_2_1->n57_a_kyoto_2__1_6_2_1_2_1_1 n57_a_kyoto_2__1_6_2_1_2_2_1 NUM n57_a_kyoto_2__1_6_2_1_2_2->n57_a_kyoto_2__1_6_2_1_2_2_1 n57_a_kyoto_2__1_6_2_1_2_2_2 N n57_a_kyoto_2__1_6_2_1_2_2->n57_a_kyoto_2__1_6_2_1_2_2_2 n57_a_kyoto_2__1_6_2_1_2_2_1->n57_a_kyoto_2__1_6_2_1_2_2_1_1 n57_a_kyoto_2__1_6_2_1_2_2_2->n57_a_kyoto_2__1_6_2_1_2_2_2_1 n57_a_kyoto_2__1_6_2_2_1 CONJ n57_a_kyoto_2__1_6_2_2->n57_a_kyoto_2__1_6_2_2_1 n57_a_kyoto_2__1_6_2_2_2 ILYR n57_a_kyoto_2__1_6_2_2->n57_a_kyoto_2__1_6_2_2_2 n57_a_kyoto_2__1_6_2_2_1->n57_a_kyoto_2__1_6_2_2_1_1 n57_a_kyoto_2__1_6_2_2_2_1 VB;__ n57_a_kyoto_2__1_6_2_2_2->n57_a_kyoto_2__1_6_2_2_2_1 n57_a_kyoto_2__1_6_2_2_2_2 NP-OB1 n57_a_kyoto_2__1_6_2_2_2->n57_a_kyoto_2__1_6_2_2_2_2 n57_a_kyoto_2__1_6_2_2_2_1->n57_a_kyoto_2__1_6_2_2_2_1_1 n57_a_kyoto_2__1_6_2_2_2_2_1 D n57_a_kyoto_2__1_6_2_2_2_2->n57_a_kyoto_2__1_6_2_2_2_2_1 n57_a_kyoto_2__1_6_2_2_2_2_2 N n57_a_kyoto_2__1_6_2_2_2_2->n57_a_kyoto_2__1_6_2_2_2_2_2 n57_a_kyoto_2__1_6_2_2_2_2_1->n57_a_kyoto_2__1_6_2_2_2_2_1_1 n57_a_kyoto_2__1_6_2_2_2_2_2->n57_a_kyoto_2__1_6_2_2_2_2_2_1 n57_a_kyoto_2__1_7->n57_a_kyoto_2__1_7_1 
( (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))