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).

fof(formula,axiom,
    ? [R_0036_0004__A_R_0036_0005__TRANSMISSION,R_0036_0008__WORDS,Z_000_36_A_KYOTO_2_15,R_0036_0006__BASED,R_0036_0010__LOGOS,Z_000_36_A_KYOTO_2_27] :
      ( r_0036_0004__a_r_0036_0005__transmission(R_0036_0004__A_R_0036_0005__TRANSMISSION)
      & r_0036_0008__words(R_0036_0008__WORDS)
      & r_0036_0010__logos(R_0036_0010__LOGOS)
      & z_000_36_a_kyoto_2_15(Z_000_36_A_KYOTO_2_15)
      & z_000_36_a_kyoto_2_27(Z_000_36_A_KYOTO_2_27)
      & has_prd(Z_000_36_A_KYOTO_2_27,R_0036_0010__LOGOS)
      & has_arg0(Z_000_36_A_KYOTO_2_27,R_0036_0008__WORDS)
      & r_0036_0006__based(R_0036_0006__BASED)
      & has_arg0(R_0036_0006__BASED,Z_000_36_A_KYOTO_2_15)
      & has_r_0036_0007__on_clr22(R_0036_0006__BASED,R_0036_0008__WORDS)
      & has_arg1(R_0036_0006__BASED,R_0036_0004__A_R_0036_0005__TRANSMISSION)
      & ~ ? [R_0036_0001__THAT,R_0036_0002__IS] :
            ( r_0036_0001__That(R_0036_0001__THAT)
            & r_0036_0002__is(R_0036_0002__IS)
            & has_prd(R_0036_0002__IS,R_0036_0004__A_R_0036_0005__TRANSMISSION)
            & has_arg0(R_0036_0002__IS,R_0036_0001__THAT) ) ) ).

( (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))