Context                Previous, Next                Top


36_a_kyoto_2
That is not a transmission based on words (logos).

%3 r_0036_0002__is is r_0036_0001__That That r_0036_0002__is->r_0036_0001__That [arg0] r_0036_0004__a_r_0036_0005__transmission a transmission r_0036_0002__is->r_0036_0004__a_r_0036_0005__transmission [prd] r_0036_0003__not not r_0036_0003__not->r_0036_0002__is [keep_scope] r_0036_0006__based based r_0036_0006__based->r_0036_0004__a_r_0036_0005__transmission [arg1] r_0036_0008__words words r_0036_0006__based->r_0036_0008__words on [clr] z_000_36_a_kyoto_2_15 r_0036_0006__based->z_000_36_a_kyoto_2_15 [arg0] z_000_36_a_kyoto_2_27 z_000_36_a_kyoto_2_27->r_0036_0008__words [arg0] r_0036_0010__logos logos z_000_36_a_kyoto_2_27->r_0036_0010__logos [prd] 
arc(r_0036_0002__is, r_0036_0001__That, arg0).
arc(r_0036_0002__is, r_0036_0004__a_r_0036_0005__transmission, prd).
arc(r_0036_0003__not, r_0036_0002__is, keep_scope).
arc(r_0036_0006__based, r_0036_0004__a_r_0036_0005__transmission, arg1).
arc(r_0036_0006__based, r_0036_0008__words, r_0036_0007__on_clr22).
arc(r_0036_0006__based, z_000_36_a_kyoto_2_15, arg0).
arc(z_000_36_a_kyoto_2_27, r_0036_0008__words, arg0).
arc(z_000_36_a_kyoto_2_27, r_0036_0010__logos, prd).


%3 z_000_36_a_kyoto_2_27 r_0036_0010__logos logos z_000_36_a_kyoto_2_27->r_0036_0010__logos [prd] r_0036_0008__words words z_000_36_a_kyoto_2_27->r_0036_0008__words [arg0] r_0036_0006__based based r_0036_0006__based->r_0036_0008__words on [clr] z_000_36_a_kyoto_2_15 r_0036_0006__based->z_000_36_a_kyoto_2_15 [arg0] r_0036_0004__a_r_0036_0005__transmission a transmission r_0036_0006__based->r_0036_0004__a_r_0036_0005__transmission [arg1] r_0036_0003__not not r_0036_0002__is is r_0036_0003__not->r_0036_0002__is [keep_scope] r_0036_0002__is->r_0036_0004__a_r_0036_0005__transmission [prd] r_0036_0001__That That r_0036_0002__is->r_0036_0001__That [arg0] 
fof(formula,axiom,
    ? [R_36_6_BASED,Z_36_A_KYOTO_2_15,R_36_4_A_TRANSMISSION,Z_36_A_KYOTO_2_27,R_36_8_WORDS,R_36_10_LOGOS] :
      ( a_transmission(R_36_4_A_TRANSMISSION)
      & words(R_36_8_WORDS)
      & logos(R_36_10_LOGOS)
      & ~ ? [R_36_2_IS,R_36_1_THAT] :
            ( that(R_36_1_THAT)
            & is(R_36_2_IS,R_36_1_THAT,R_36_4_A_TRANSMISSION) )
      & based(R_36_6_BASED,Z_36_A_KYOTO_2_15,R_36_4_A_TRANSMISSION)
      & on_clr22(R_36_6_BASED,R_36_8_WORDS)
      & z_36_a_kyoto_2_27(Z_36_A_KYOTO_2_27,R_36_8_WORDS,R_36_10_LOGOS) ) ).


n36_a_kyoto_2 n36_a_kyoto_2__1_1_1_1 That n36_a_kyoto_2__1_2_1 is n36_a_kyoto_2__1_3_1 not n36_a_kyoto_2__1_4_1_1 a n36_a_kyoto_2__1_4_2_1 transmission n36_a_kyoto_2__1_4_3_1_1 * n36_a_kyoto_2__1_4_3_2_1 based n36_a_kyoto_2__1_4_3_3_1_1 on n36_a_kyoto_2__1_4_3_3_2_1_1 words n36_a_kyoto_2__1_4_3_3_2_2_1 -LRB- n36_a_kyoto_2__1_4_3_3_2_3_1_1_1 logos n36_a_kyoto_2__1_4_3_3_2_4_1 -RRB- n36_a_kyoto_2__1_5_1 . n36_a_kyoto_2__1 IP-MAT n36_a_kyoto_2__1_1 NP-SBJ n36_a_kyoto_2__1->n36_a_kyoto_2__1_1 n36_a_kyoto_2__1_2 BEP;_Ln_ n36_a_kyoto_2__1->n36_a_kyoto_2__1_2 n36_a_kyoto_2__1_3 NEG n36_a_kyoto_2__1->n36_a_kyoto_2__1_3 n36_a_kyoto_2__1_4 NP-PRD n36_a_kyoto_2__1->n36_a_kyoto_2__1_4 n36_a_kyoto_2__1_5 PUNC n36_a_kyoto_2__1->n36_a_kyoto_2__1_5 n36_a_kyoto_2__1_1_1 D;_nphd_ n36_a_kyoto_2__1_1->n36_a_kyoto_2__1_1_1 n36_a_kyoto_2__1_1_1->n36_a_kyoto_2__1_1_1_1 n36_a_kyoto_2__1_2->n36_a_kyoto_2__1_2_1 n36_a_kyoto_2__1_3->n36_a_kyoto_2__1_3_1 n36_a_kyoto_2__1_4_1 D n36_a_kyoto_2__1_4->n36_a_kyoto_2__1_4_1 n36_a_kyoto_2__1_4_2 N n36_a_kyoto_2__1_4->n36_a_kyoto_2__1_4_2 n36_a_kyoto_2__1_4_3 IP-PPL n36_a_kyoto_2__1_4->n36_a_kyoto_2__1_4_3 n36_a_kyoto_2__1_4_1->n36_a_kyoto_2__1_4_1_1 n36_a_kyoto_2__1_4_2->n36_a_kyoto_2__1_4_2_1 n36_a_kyoto_2__1_4_3_1 NP-LGS n36_a_kyoto_2__1_4_3->n36_a_kyoto_2__1_4_3_1 n36_a_kyoto_2__1_4_3_2 VVN;_phr_Vn.pr_ n36_a_kyoto_2__1_4_3->n36_a_kyoto_2__1_4_3_2 n36_a_kyoto_2__1_4_3_3 PP-CLR n36_a_kyoto_2__1_4_3->n36_a_kyoto_2__1_4_3_3 n36_a_kyoto_2__1_4_3_1->n36_a_kyoto_2__1_4_3_1_1 n36_a_kyoto_2__1_4_3_2->n36_a_kyoto_2__1_4_3_2_1 n36_a_kyoto_2__1_4_3_3_1 P-ROLE n36_a_kyoto_2__1_4_3_3->n36_a_kyoto_2__1_4_3_3_1 n36_a_kyoto_2__1_4_3_3_2 NP n36_a_kyoto_2__1_4_3_3->n36_a_kyoto_2__1_4_3_3_2 n36_a_kyoto_2__1_4_3_3_1->n36_a_kyoto_2__1_4_3_3_1_1 n36_a_kyoto_2__1_4_3_3_2_1 NS n36_a_kyoto_2__1_4_3_3_2->n36_a_kyoto_2__1_4_3_3_2_1 n36_a_kyoto_2__1_4_3_3_2_2 PULB n36_a_kyoto_2__1_4_3_3_2->n36_a_kyoto_2__1_4_3_3_2_2 n36_a_kyoto_2__1_4_3_3_2_3 IP-PPL n36_a_kyoto_2__1_4_3_3_2->n36_a_kyoto_2__1_4_3_3_2_3 n36_a_kyoto_2__1_4_3_3_2_4 PURB n36_a_kyoto_2__1_4_3_3_2->n36_a_kyoto_2__1_4_3_3_2_4 n36_a_kyoto_2__1_4_3_3_2_1->n36_a_kyoto_2__1_4_3_3_2_1_1 n36_a_kyoto_2__1_4_3_3_2_2->n36_a_kyoto_2__1_4_3_3_2_2_1 n36_a_kyoto_2__1_4_3_3_2_3_1 NP-PRD n36_a_kyoto_2__1_4_3_3_2_3->n36_a_kyoto_2__1_4_3_3_2_3_1 n36_a_kyoto_2__1_4_3_3_2_3_1_1 NS n36_a_kyoto_2__1_4_3_3_2_3_1->n36_a_kyoto_2__1_4_3_3_2_3_1_1 n36_a_kyoto_2__1_4_3_3_2_3_1_1->n36_a_kyoto_2__1_4_3_3_2_3_1_1_1 n36_a_kyoto_2__1_4_3_3_2_4->n36_a_kyoto_2__1_4_3_3_2_4_1 n36_a_kyoto_2__1_5->n36_a_kyoto_2__1_5_1 
( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_Ln_ is;{be})
          (NEG not;{not})
          (NP-PRD (D a;{a})
                  (N transmission;{transmission})
                  (IP-PPL (NP-LGS *)
                          (VVN;_phr_Vn.pr_ based;{base[on]})
                          (PP-CLR (P-ROLE on;{on})
                                  (NP (NS words;{word})
                                      (PULB -LRB-)
                                      (IP-PPL (NP-PRD (NS logos;{logo})))
                                      (PURB -RRB-)))))
          (PUNC .))
  (ID 36_a_kyoto_2;BDS_00002;36))