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_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] 
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_4 By n57_a_kyoto_2_8 intellectual n57_a_kyoto_2_10 understanding n57_a_kyoto_2_12 , n57_a_kyoto_2_15 it n57_a_kyoto_2_17 is n57_a_kyoto_2_20 impossible n57_a_kyoto_2_23 to n57_a_kyoto_2_27 clap n57_a_kyoto_2_30 with n57_a_kyoto_2_33 one n57_a_kyoto_2_35 hand n57_a_kyoto_2_38 and n57_a_kyoto_2_41 make n57_a_kyoto_2_44 a n57_a_kyoto_2_46 sound n57_a_kyoto_2_48 . n57_a_kyoto_2_1 IP-MAT n57_a_kyoto_2_2 PP-NIM n57_a_kyoto_2_1->n57_a_kyoto_2_2 n57_a_kyoto_2_11 PUNC n57_a_kyoto_2_1->n57_a_kyoto_2_11 n57_a_kyoto_2_13 NP-SBJ n57_a_kyoto_2_1->n57_a_kyoto_2_13 n57_a_kyoto_2_16 BEP;_La_ n57_a_kyoto_2_1->n57_a_kyoto_2_16 n57_a_kyoto_2_18 ADJP-PRD n57_a_kyoto_2_1->n57_a_kyoto_2_18 n57_a_kyoto_2_21 IP-INF-NSBJ n57_a_kyoto_2_1->n57_a_kyoto_2_21 n57_a_kyoto_2_47 PUNC n57_a_kyoto_2_1->n57_a_kyoto_2_47 n57_a_kyoto_2_3 P-ROLE n57_a_kyoto_2_2->n57_a_kyoto_2_3 n57_a_kyoto_2_5 NP n57_a_kyoto_2_2->n57_a_kyoto_2_5 n57_a_kyoto_2_3->n57_a_kyoto_2_4 n57_a_kyoto_2_6 ADJP n57_a_kyoto_2_5->n57_a_kyoto_2_6 n57_a_kyoto_2_9 N n57_a_kyoto_2_5->n57_a_kyoto_2_9 n57_a_kyoto_2_7 ADJ n57_a_kyoto_2_6->n57_a_kyoto_2_7 n57_a_kyoto_2_7->n57_a_kyoto_2_8 n57_a_kyoto_2_9->n57_a_kyoto_2_10 n57_a_kyoto_2_11->n57_a_kyoto_2_12 n57_a_kyoto_2_14 PRO;_provisional_ n57_a_kyoto_2_13->n57_a_kyoto_2_14 n57_a_kyoto_2_14->n57_a_kyoto_2_15 n57_a_kyoto_2_16->n57_a_kyoto_2_17 n57_a_kyoto_2_19 ADJ n57_a_kyoto_2_18->n57_a_kyoto_2_19 n57_a_kyoto_2_19->n57_a_kyoto_2_20 n57_a_kyoto_2_22 TO n57_a_kyoto_2_21->n57_a_kyoto_2_22 n57_a_kyoto_2_24 ILYR n57_a_kyoto_2_21->n57_a_kyoto_2_24 n57_a_kyoto_2_22->n57_a_kyoto_2_23 n57_a_kyoto_2_25 ILYR n57_a_kyoto_2_24->n57_a_kyoto_2_25 n57_a_kyoto_2_36 CONJP n57_a_kyoto_2_24->n57_a_kyoto_2_36 n57_a_kyoto_2_26 VB;__ n57_a_kyoto_2_25->n57_a_kyoto_2_26 n57_a_kyoto_2_28 PP-NIM n57_a_kyoto_2_25->n57_a_kyoto_2_28 n57_a_kyoto_2_26->n57_a_kyoto_2_27 n57_a_kyoto_2_29 P-ROLE n57_a_kyoto_2_28->n57_a_kyoto_2_29 n57_a_kyoto_2_31 NP n57_a_kyoto_2_28->n57_a_kyoto_2_31 n57_a_kyoto_2_29->n57_a_kyoto_2_30 n57_a_kyoto_2_32 NUM n57_a_kyoto_2_31->n57_a_kyoto_2_32 n57_a_kyoto_2_34 N n57_a_kyoto_2_31->n57_a_kyoto_2_34 n57_a_kyoto_2_32->n57_a_kyoto_2_33 n57_a_kyoto_2_34->n57_a_kyoto_2_35 n57_a_kyoto_2_37 CONJ n57_a_kyoto_2_36->n57_a_kyoto_2_37 n57_a_kyoto_2_39 ILYR n57_a_kyoto_2_36->n57_a_kyoto_2_39 n57_a_kyoto_2_37->n57_a_kyoto_2_38 n57_a_kyoto_2_40 VB;__ n57_a_kyoto_2_39->n57_a_kyoto_2_40 n57_a_kyoto_2_42 NP-OB1 n57_a_kyoto_2_39->n57_a_kyoto_2_42 n57_a_kyoto_2_40->n57_a_kyoto_2_41 n57_a_kyoto_2_43 D n57_a_kyoto_2_42->n57_a_kyoto_2_43 n57_a_kyoto_2_45 N n57_a_kyoto_2_42->n57_a_kyoto_2_45 n57_a_kyoto_2_43->n57_a_kyoto_2_44 n57_a_kyoto_2_45->n57_a_kyoto_2_46 n57_a_kyoto_2_47->n57_a_kyoto_2_48 
( (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))