TSPC 31_a_ibm

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

arc(r_0031_0002__are, r_0031_0003__written, scope).
arc(r_0031_0003__written, r_0031_0001__Programs, arg1).
arc(r_0031_0003__written, r_0031_0010__form, r_0031_0004__in_clr15).
arc(r_0031_0003__written, z_000_31_a_ibm_1401_8, 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, nim25).
arc(r_0031_0010__form, r_0031_0006__or, attrib16).
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_000_31_A_IBM_1401_8,R_0031_0002__ARE_R_0031_0003__WRITTEN] :
      ( 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_000_31_a_ibm_1401_8(Z_000_31_A_IBM_1401_8)
      & r_0031_0002__are_r_0031_0003__written(R_0031_0002__ARE_R_0031_0003__WRITTEN)
      & has_arg0(R_0031_0002__ARE_R_0031_0003__WRITTEN,Z_000_31_A_IBM_1401_8)
      & has_r_0031_0004__in_clr15(R_0031_0002__ARE_R_0031_0003__WRITTEN,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_attrib16(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_nim25(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_0001__PROGRAMS) ) ).

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