36_a_kyoto_2
That is not a transmission based on words (logos).
( (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-)
(PRN (NP (NS logos;{logo})))
(PURB -RRB-)))))
(PUNC .))
(ID 36_a_kyoto_2;BDS_00002;36))
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,inv_arg1).
arc(r_0036_0006__based,r_0036_0008__words,r_0036_0007__on__clr).
arc(r_0036_0006__based,z_0036_5006___star_,arg0).
arc(z_0036_5004,r_0036_0008__words,arg0).
arc(z_0036_5004,r_0036_0010__logos,prd).
fof(formula,axiom,
? [R_0036_0008__WORDS,R_0036_0010__LOGOS,Z_0036_5004] :
( r_0036_0008__words(R_0036_0008__WORDS)
& r_0036_0010__logos(R_0036_0010__LOGOS)
& z_0036_5004(Z_0036_5004)
& has_prd(Z_0036_5004,R_0036_0010__LOGOS)
& has_arg0(Z_0036_5004,R_0036_0008__WORDS)
& ~ ? [R_0036_0001__THAT,Z_0036_5006___STAR_,R_0036_0006__BASED,R_0036_0004__A_R_0036_0005__TRANSMISSION,R_0036_0002__IS] :
( r_0036_0001__That(R_0036_0001__THAT)
& z_0036_5006___star_(Z_0036_5006___STAR_)
& r_0036_0002__is(R_0036_0002__IS)
& has_prd(R_0036_0002__IS,R_0036_0004__A_R_0036_0005__TRANSMISSION)
& r_0036_0004__a_r_0036_0005__transmission(R_0036_0004__A_R_0036_0005__TRANSMISSION)
& has_inv_arg1(R_0036_0004__A_R_0036_0005__TRANSMISSION,R_0036_0006__BASED)
& r_0036_0006__based(R_0036_0006__BASED)
& has_arg0(R_0036_0006__BASED,Z_0036_5006___STAR_)
& has_r_0036_0007__on__clr(R_0036_0006__BASED,R_0036_0008__WORDS)
& has_arg0(R_0036_0002__IS,R_0036_0001__THAT) ) ) ).