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 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] 
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_4 That n36_a_kyoto_2_6 is n36_a_kyoto_2_8 not n36_a_kyoto_2_11 a n36_a_kyoto_2_13 transmission n36_a_kyoto_2_16 * n36_a_kyoto_2_18 based n36_a_kyoto_2_21 on n36_a_kyoto_2_24 words n36_a_kyoto_2_26 -LRB- n36_a_kyoto_2_30 logos n36_a_kyoto_2_32 -RRB- n36_a_kyoto_2_34 . n36_a_kyoto_2_1 IP-MAT n36_a_kyoto_2_2 NP-SBJ n36_a_kyoto_2_1->n36_a_kyoto_2_2 n36_a_kyoto_2_5 BEP;_Ln_ n36_a_kyoto_2_1->n36_a_kyoto_2_5 n36_a_kyoto_2_7 NEG n36_a_kyoto_2_1->n36_a_kyoto_2_7 n36_a_kyoto_2_9 NP-PRD n36_a_kyoto_2_1->n36_a_kyoto_2_9 n36_a_kyoto_2_33 PUNC n36_a_kyoto_2_1->n36_a_kyoto_2_33 n36_a_kyoto_2_3 D;_nphd_ n36_a_kyoto_2_2->n36_a_kyoto_2_3 n36_a_kyoto_2_3->n36_a_kyoto_2_4 n36_a_kyoto_2_5->n36_a_kyoto_2_6 n36_a_kyoto_2_7->n36_a_kyoto_2_8 n36_a_kyoto_2_10 D n36_a_kyoto_2_9->n36_a_kyoto_2_10 n36_a_kyoto_2_12 N n36_a_kyoto_2_9->n36_a_kyoto_2_12 n36_a_kyoto_2_14 IP-PPL n36_a_kyoto_2_9->n36_a_kyoto_2_14 n36_a_kyoto_2_10->n36_a_kyoto_2_11 n36_a_kyoto_2_12->n36_a_kyoto_2_13 n36_a_kyoto_2_15 NP-LGS n36_a_kyoto_2_14->n36_a_kyoto_2_15 n36_a_kyoto_2_17 VVN;_phr_Vn.pr_ n36_a_kyoto_2_14->n36_a_kyoto_2_17 n36_a_kyoto_2_19 PP-CLR n36_a_kyoto_2_14->n36_a_kyoto_2_19 n36_a_kyoto_2_15->n36_a_kyoto_2_16 n36_a_kyoto_2_17->n36_a_kyoto_2_18 n36_a_kyoto_2_20 P-ROLE n36_a_kyoto_2_19->n36_a_kyoto_2_20 n36_a_kyoto_2_22 NP n36_a_kyoto_2_19->n36_a_kyoto_2_22 n36_a_kyoto_2_20->n36_a_kyoto_2_21 n36_a_kyoto_2_23 NS n36_a_kyoto_2_22->n36_a_kyoto_2_23 n36_a_kyoto_2_25 PULB n36_a_kyoto_2_22->n36_a_kyoto_2_25 n36_a_kyoto_2_27 IP-PPL n36_a_kyoto_2_22->n36_a_kyoto_2_27 n36_a_kyoto_2_31 PURB n36_a_kyoto_2_22->n36_a_kyoto_2_31 n36_a_kyoto_2_23->n36_a_kyoto_2_24 n36_a_kyoto_2_25->n36_a_kyoto_2_26 n36_a_kyoto_2_28 NP-PRD n36_a_kyoto_2_27->n36_a_kyoto_2_28 n36_a_kyoto_2_29 NS n36_a_kyoto_2_28->n36_a_kyoto_2_29 n36_a_kyoto_2_29->n36_a_kyoto_2_30 n36_a_kyoto_2_31->n36_a_kyoto_2_32 n36_a_kyoto_2_33->n36_a_kyoto_2_34 
( (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))