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_0002__are_r_0031_0003__written are written r_0031_0001__Programs Programs r_0031_0002__are_r_0031_0003__written->r_0031_0001__Programs [arg1] r_0031_0010__form form 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_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] 
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_4 Programs n31_a_ibm_1401_6 are n31_a_ibm_1401_9 * n31_a_ibm_1401_11 written n31_a_ibm_1401_14 in n31_a_ibm_1401_20 symbolic n31_a_ibm_1401_23 or n31_a_ibm_1401_27 application n31_a_ibm_1401_29 - n31_a_ibm_1401_31 oriented n31_a_ibm_1401_33 form n31_a_ibm_1401_36 instead_of n31_a_ibm_1401_39 computer n31_a_ibm_1401_41 language n31_a_ibm_1401_43 . n31_a_ibm_1401_1 IP-MAT n31_a_ibm_1401_2 NP-SBJ n31_a_ibm_1401_1->n31_a_ibm_1401_2 n31_a_ibm_1401_5 BEP;_cat_VePASS_ n31_a_ibm_1401_1->n31_a_ibm_1401_5 n31_a_ibm_1401_7 IP-PPL-CAT n31_a_ibm_1401_1->n31_a_ibm_1401_7 n31_a_ibm_1401_42 PUNC n31_a_ibm_1401_1->n31_a_ibm_1401_42 n31_a_ibm_1401_3 NS n31_a_ibm_1401_2->n31_a_ibm_1401_3 n31_a_ibm_1401_3->n31_a_ibm_1401_4 n31_a_ibm_1401_5->n31_a_ibm_1401_6 n31_a_ibm_1401_8 NP-LGS n31_a_ibm_1401_7->n31_a_ibm_1401_8 n31_a_ibm_1401_10 VVN;_Tn.pr_ n31_a_ibm_1401_7->n31_a_ibm_1401_10 n31_a_ibm_1401_12 PP-CLR n31_a_ibm_1401_7->n31_a_ibm_1401_12 n31_a_ibm_1401_8->n31_a_ibm_1401_9 n31_a_ibm_1401_10->n31_a_ibm_1401_11 n31_a_ibm_1401_13 P-ROLE n31_a_ibm_1401_12->n31_a_ibm_1401_13 n31_a_ibm_1401_15 NP n31_a_ibm_1401_12->n31_a_ibm_1401_15 n31_a_ibm_1401_13->n31_a_ibm_1401_14 n31_a_ibm_1401_16 ADJP n31_a_ibm_1401_15->n31_a_ibm_1401_16 n31_a_ibm_1401_32 N n31_a_ibm_1401_15->n31_a_ibm_1401_32 n31_a_ibm_1401_34 PP n31_a_ibm_1401_15->n31_a_ibm_1401_34 n31_a_ibm_1401_17 AJLYR n31_a_ibm_1401_16->n31_a_ibm_1401_17 n31_a_ibm_1401_18 AJLYR n31_a_ibm_1401_17->n31_a_ibm_1401_18 n31_a_ibm_1401_21 CONJP n31_a_ibm_1401_17->n31_a_ibm_1401_21 n31_a_ibm_1401_19 ADJ n31_a_ibm_1401_18->n31_a_ibm_1401_19 n31_a_ibm_1401_19->n31_a_ibm_1401_20 n31_a_ibm_1401_22 CONJ n31_a_ibm_1401_21->n31_a_ibm_1401_22 n31_a_ibm_1401_24 AJLYR n31_a_ibm_1401_21->n31_a_ibm_1401_24 n31_a_ibm_1401_22->n31_a_ibm_1401_23 n31_a_ibm_1401_25 NP n31_a_ibm_1401_24->n31_a_ibm_1401_25 n31_a_ibm_1401_28 PUNC n31_a_ibm_1401_24->n31_a_ibm_1401_28 n31_a_ibm_1401_30 ADJ n31_a_ibm_1401_24->n31_a_ibm_1401_30 n31_a_ibm_1401_26 N n31_a_ibm_1401_25->n31_a_ibm_1401_26 n31_a_ibm_1401_26->n31_a_ibm_1401_27 n31_a_ibm_1401_28->n31_a_ibm_1401_29 n31_a_ibm_1401_30->n31_a_ibm_1401_31 n31_a_ibm_1401_32->n31_a_ibm_1401_33 n31_a_ibm_1401_35 P-ROLE n31_a_ibm_1401_34->n31_a_ibm_1401_35 n31_a_ibm_1401_37 NP n31_a_ibm_1401_34->n31_a_ibm_1401_37 n31_a_ibm_1401_35->n31_a_ibm_1401_36 n31_a_ibm_1401_38 N n31_a_ibm_1401_37->n31_a_ibm_1401_38 n31_a_ibm_1401_40 N n31_a_ibm_1401_37->n31_a_ibm_1401_40 n31_a_ibm_1401_38->n31_a_ibm_1401_39 n31_a_ibm_1401_40->n31_a_ibm_1401_41 n31_a_ibm_1401_42->n31_a_ibm_1401_43 
( (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))