Context                Previous, Next                Top


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

%3 r_0031_0002__are are r_0031_0003__written written r_0031_0002__are->r_0031_0003__written [scope] r_0031_0001__Programs Programs r_0031_0003__written->r_0031_0001__Programs [arg1] r_0031_0010__form form r_0031_0003__written->r_0031_0010__form in [clr] z_000_31_a_ibm_1401_8 r_0031_0003__written->z_000_31_a_ibm_1401_8 [arg0] r_0031_0006__or or r_0031_0010__form->r_0031_0006__or [attrib] r_0031_0012__computer_r_0031_0013__language computer language r_0031_0010__form->r_0031_0012__computer_r_0031_0013__language instead of r_0031_0005__symbolic symbolic r_0031_0006__or->r_0031_0005__symbolic [conj1] r_0031_0009__oriented oriented r_0031_0006__or->r_0031_0009__oriented [conj2] r_0031_0007__application application r_0031_0009__oriented->r_0031_0007__application [nim] 
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).


%3 r_0031_0010__form form r_0031_0012__computer_r_0031_0013__language computer language r_0031_0010__form->r_0031_0012__computer_r_0031_0013__language instead of r_0031_0006__or or r_0031_0010__form->r_0031_0006__or [attrib] r_0031_0009__oriented oriented r_0031_0006__or->r_0031_0009__oriented [conj2] r_0031_0005__symbolic symbolic r_0031_0006__or->r_0031_0005__symbolic [conj1] r_0031_0007__application application r_0031_0009__oriented->r_0031_0007__application [nim] r_0031_0002__are_r_0031_0003__written are written r_0031_0002__are_r_0031_0003__written->r_0031_0010__form in [clr] z_000_31_a_ibm_1401_8 r_0031_0002__are_r_0031_0003__written->z_000_31_a_ibm_1401_8 [arg0] r_0031_0001__Programs Programs r_0031_0002__are_r_0031_0003__written->r_0031_0001__Programs [arg1] 
fof(formula,axiom,
    ? [R_31_2_ARE_WRITTEN,Z_31_A_IBM_1401_8,R_31_1_PROGRAMS,R_31_10_FORM,R_31_6_OR,R_31_5_SYMBOLIC,R_31_9_ORIENTED,R_31_7_APPLICATION,R_31_12_COMPUTER_LANGUAGE] :
      ( programs(R_31_1_PROGRAMS)
      & symbolic(R_31_5_SYMBOLIC)
      & application(R_31_7_APPLICATION)
      & computer_language(R_31_12_COMPUTER_LANGUAGE)
      & are_written(R_31_2_ARE_WRITTEN,Z_31_A_IBM_1401_8,R_31_1_PROGRAMS)
      & in_clr15(R_31_2_ARE_WRITTEN,R_31_10_FORM)
      & form(R_31_10_FORM)
      & attrib16(R_31_10_FORM,R_31_6_OR)
      & or(R_31_6_OR)
      & conj1(R_31_6_OR,R_31_5_SYMBOLIC)
      & conj2(R_31_6_OR,R_31_9_ORIENTED)
      & oriented(R_31_9_ORIENTED)
      & nim25(R_31_9_ORIENTED,R_31_7_APPLICATION)
      & instead_of(R_31_10_FORM,R_31_12_COMPUTER_LANGUAGE) ) ).


n31_a_ibm_1401 n31_a_ibm_1401__1_1_1_1 Programs n31_a_ibm_1401__1_2_1 are n31_a_ibm_1401__1_3_1_1 * n31_a_ibm_1401__1_3_2_1 written n31_a_ibm_1401__1_3_3_1_1 in n31_a_ibm_1401__1_3_3_2_1_1_1_1_1 symbolic n31_a_ibm_1401__1_3_3_2_1_1_2_1_1 or n31_a_ibm_1401__1_3_3_2_1_1_2_2_1_1_1 application n31_a_ibm_1401__1_3_3_2_1_1_2_2_2_1 - n31_a_ibm_1401__1_3_3_2_1_1_2_2_3_1 oriented n31_a_ibm_1401__1_3_3_2_2_1 form n31_a_ibm_1401__1_3_3_2_3_1_1 instead_of n31_a_ibm_1401__1_3_3_2_3_2_1_1 computer n31_a_ibm_1401__1_3_3_2_3_2_2_1 language n31_a_ibm_1401__1_4_1 . n31_a_ibm_1401__1 IP-MAT n31_a_ibm_1401__1_1 NP-SBJ n31_a_ibm_1401__1->n31_a_ibm_1401__1_1 n31_a_ibm_1401__1_2 BEP;_cat_VePASS_ n31_a_ibm_1401__1->n31_a_ibm_1401__1_2 n31_a_ibm_1401__1_3 IP-PPL-CAT n31_a_ibm_1401__1->n31_a_ibm_1401__1_3 n31_a_ibm_1401__1_4 PUNC n31_a_ibm_1401__1->n31_a_ibm_1401__1_4 n31_a_ibm_1401__1_1_1 NS n31_a_ibm_1401__1_1->n31_a_ibm_1401__1_1_1 n31_a_ibm_1401__1_1_1->n31_a_ibm_1401__1_1_1_1 n31_a_ibm_1401__1_2->n31_a_ibm_1401__1_2_1 n31_a_ibm_1401__1_3_1 NP-LGS n31_a_ibm_1401__1_3->n31_a_ibm_1401__1_3_1 n31_a_ibm_1401__1_3_2 VVN;_Tn.pr_ n31_a_ibm_1401__1_3->n31_a_ibm_1401__1_3_2 n31_a_ibm_1401__1_3_3 PP-CLR n31_a_ibm_1401__1_3->n31_a_ibm_1401__1_3_3 n31_a_ibm_1401__1_3_1->n31_a_ibm_1401__1_3_1_1 n31_a_ibm_1401__1_3_2->n31_a_ibm_1401__1_3_2_1 n31_a_ibm_1401__1_3_3_1 P-ROLE n31_a_ibm_1401__1_3_3->n31_a_ibm_1401__1_3_3_1 n31_a_ibm_1401__1_3_3_2 NP n31_a_ibm_1401__1_3_3->n31_a_ibm_1401__1_3_3_2 n31_a_ibm_1401__1_3_3_1->n31_a_ibm_1401__1_3_3_1_1 n31_a_ibm_1401__1_3_3_2_1 ADJP n31_a_ibm_1401__1_3_3_2->n31_a_ibm_1401__1_3_3_2_1 n31_a_ibm_1401__1_3_3_2_2 N n31_a_ibm_1401__1_3_3_2->n31_a_ibm_1401__1_3_3_2_2 n31_a_ibm_1401__1_3_3_2_3 PP n31_a_ibm_1401__1_3_3_2->n31_a_ibm_1401__1_3_3_2_3 n31_a_ibm_1401__1_3_3_2_1_1 AJLYR n31_a_ibm_1401__1_3_3_2_1->n31_a_ibm_1401__1_3_3_2_1_1 n31_a_ibm_1401__1_3_3_2_1_1_1 AJLYR n31_a_ibm_1401__1_3_3_2_1_1->n31_a_ibm_1401__1_3_3_2_1_1_1 n31_a_ibm_1401__1_3_3_2_1_1_2 CONJP n31_a_ibm_1401__1_3_3_2_1_1->n31_a_ibm_1401__1_3_3_2_1_1_2 n31_a_ibm_1401__1_3_3_2_1_1_1_1 ADJ n31_a_ibm_1401__1_3_3_2_1_1_1->n31_a_ibm_1401__1_3_3_2_1_1_1_1 n31_a_ibm_1401__1_3_3_2_1_1_1_1->n31_a_ibm_1401__1_3_3_2_1_1_1_1_1 n31_a_ibm_1401__1_3_3_2_1_1_2_1 CONJ n31_a_ibm_1401__1_3_3_2_1_1_2->n31_a_ibm_1401__1_3_3_2_1_1_2_1 n31_a_ibm_1401__1_3_3_2_1_1_2_2 AJLYR n31_a_ibm_1401__1_3_3_2_1_1_2->n31_a_ibm_1401__1_3_3_2_1_1_2_2 n31_a_ibm_1401__1_3_3_2_1_1_2_1->n31_a_ibm_1401__1_3_3_2_1_1_2_1_1 n31_a_ibm_1401__1_3_3_2_1_1_2_2_1 NP n31_a_ibm_1401__1_3_3_2_1_1_2_2->n31_a_ibm_1401__1_3_3_2_1_1_2_2_1 n31_a_ibm_1401__1_3_3_2_1_1_2_2_2 PUNC n31_a_ibm_1401__1_3_3_2_1_1_2_2->n31_a_ibm_1401__1_3_3_2_1_1_2_2_2 n31_a_ibm_1401__1_3_3_2_1_1_2_2_3 ADJ n31_a_ibm_1401__1_3_3_2_1_1_2_2->n31_a_ibm_1401__1_3_3_2_1_1_2_2_3 n31_a_ibm_1401__1_3_3_2_1_1_2_2_1_1 N n31_a_ibm_1401__1_3_3_2_1_1_2_2_1->n31_a_ibm_1401__1_3_3_2_1_1_2_2_1_1 n31_a_ibm_1401__1_3_3_2_1_1_2_2_1_1->n31_a_ibm_1401__1_3_3_2_1_1_2_2_1_1_1 n31_a_ibm_1401__1_3_3_2_1_1_2_2_2->n31_a_ibm_1401__1_3_3_2_1_1_2_2_2_1 n31_a_ibm_1401__1_3_3_2_1_1_2_2_3->n31_a_ibm_1401__1_3_3_2_1_1_2_2_3_1 n31_a_ibm_1401__1_3_3_2_2->n31_a_ibm_1401__1_3_3_2_2_1 n31_a_ibm_1401__1_3_3_2_3_1 P-ROLE n31_a_ibm_1401__1_3_3_2_3->n31_a_ibm_1401__1_3_3_2_3_1 n31_a_ibm_1401__1_3_3_2_3_2 NP n31_a_ibm_1401__1_3_3_2_3->n31_a_ibm_1401__1_3_3_2_3_2 n31_a_ibm_1401__1_3_3_2_3_1->n31_a_ibm_1401__1_3_3_2_3_1_1 n31_a_ibm_1401__1_3_3_2_3_2_1 N n31_a_ibm_1401__1_3_3_2_3_2->n31_a_ibm_1401__1_3_3_2_3_2_1 n31_a_ibm_1401__1_3_3_2_3_2_2 N n31_a_ibm_1401__1_3_3_2_3_2->n31_a_ibm_1401__1_3_3_2_3_2_2 n31_a_ibm_1401__1_3_3_2_3_2_1->n31_a_ibm_1401__1_3_3_2_3_2_1_1 n31_a_ibm_1401__1_3_3_2_3_2_2->n31_a_ibm_1401__1_3_3_2_3_2_2_1 n31_a_ibm_1401__1_4->n31_a_ibm_1401__1_4_1 
( (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))