TSPC 31_a_ibm

31_a_ibm_1401
Programs are written in symbolic or application - oriented form instead of computer language.

( (IP-MAT (NP-SBJ (NS Programs;{program}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT;{WRITTEN} (NP-LGS *)
                                (VVN;_Tn.pr_ written;{write[in]})
                                (PP-CLR (P-ROLE in;{in})
                                        (NP (ADJP (AJLYR (AJLYR (ADJ symbolic;{symbolic}))
                                                         (CONJP (CONJ or;{or})
                                                                (AJLYR (NP (N application;{application}))
                                                                       (PUNC <hyphen>)
                                                                       (ADJ oriented;{oriented})))))
                                            (N form;{form})
                                            (PP (P-ROLE instead_of;{instead_of})
                                                (NP (N computer;{computer})
                                                    (N language;{language}))))))
          (PUNC .))
  (ID 31_a_ibm_1401))

arc(r_0031_0002__are,r_0031_0003__written_r_0031_0004__in,scope).
arc(r_0031_0003__written_r_0031_0004__in,r_0031_0001__Programs,arg1).
arc(r_0031_0003__written_r_0031_0004__in,r_0031_0010__form,arg2).
arc(r_0031_0003__written_r_0031_0004__in,z_0031_5009___star_,arg0).
arc(r_0031_0006__or,r_0031_0005__symbolic,conj1).
arc(r_0031_0006__or,r_0031_0009__oriented,conj2).
arc(r_0031_0009__oriented,r_0031_0007__application,nim).
arc(r_0031_0010__form,r_0031_0006__or,attrib).
arc(r_0031_0010__form,r_0031_0012__computer_r_0031_0013__language,r_0031_0011__instead_of).

fof(formula,axiom,
    ? [R_0031_0001__PROGRAMS,R_0031_0005__SYMBOLIC,R_0031_0007__APPLICATION,R_0031_0009__ORIENTED,R_0031_0006__OR,R_0031_0012__COMPUTER_R_0031_0013__LANGUAGE,R_0031_0010__FORM,Z_0031_5009___STAR_,R_0031_0002__ARE_R_0031_0003__WRITTEN_R_0031_0004__IN] :
      ( r_0031_0001__Programs(R_0031_0001__PROGRAMS)
      & r_0031_0005__symbolic(R_0031_0005__SYMBOLIC)
      & r_0031_0007__application(R_0031_0007__APPLICATION)
      & r_0031_0012__computer_r_0031_0013__language(R_0031_0012__COMPUTER_R_0031_0013__LANGUAGE)
      & z_0031_5009___star_(Z_0031_5009___STAR_)
      & r_0031_0002__are_r_0031_0003__written_r_0031_0004__in(R_0031_0002__ARE_R_0031_0003__WRITTEN_R_0031_0004__IN)
      & has_arg0(R_0031_0002__ARE_R_0031_0003__WRITTEN_R_0031_0004__IN,Z_0031_5009___STAR_)
      & has_arg2(R_0031_0002__ARE_R_0031_0003__WRITTEN_R_0031_0004__IN,R_0031_0010__FORM)
      & r_0031_0010__form(R_0031_0010__FORM)
      & has_r_0031_0011__instead_of(R_0031_0010__FORM,R_0031_0012__COMPUTER_R_0031_0013__LANGUAGE)
      & has_attrib(R_0031_0010__FORM,R_0031_0006__OR)
      & r_0031_0006__or(R_0031_0006__OR)
      & has_conj2(R_0031_0006__OR,R_0031_0009__ORIENTED)
      & r_0031_0009__oriented(R_0031_0009__ORIENTED)
      & has_nim(R_0031_0009__ORIENTED,R_0031_0007__APPLICATION)
      & has_conj1(R_0031_0006__OR,R_0031_0005__SYMBOLIC)
      & has_arg1(R_0031_0002__ARE_R_0031_0003__WRITTEN_R_0031_0004__IN,R_0031_0001__PROGRAMS) ) ).