Context                Previous, Next                Top


37_a_ibm_1401
These systems permit programs to be written using meaningful names (symbols) rather than actual machine language.

%3 r_0037_0003__permit permit r_0037_0001__These_r_0037_0002__systems These systems r_0037_0003__permit->r_0037_0001__These_r_0037_0002__systems [arg0] r_0037_0004__programs programs r_0037_0003__permit->r_0037_0004__programs [arg1] z_000_37_a_ibm_1401_22 r_0037_0003__permit->z_000_37_a_ibm_1401_22 [prd] r_0037_0005__to_r_0037_0006__be to be z_000_37_a_ibm_1401_22->r_0037_0005__to_r_0037_0006__be [scope] r_0037_0008__using using z_000_37_a_ibm_1401_22->r_0037_0008__using [restriction] r_0037_0007__written written r_0037_0005__to_r_0037_0006__be->r_0037_0007__written [scope] x_000_37_a_ibm_1401_12 __ r_0037_0007__written->x_000_37_a_ibm_1401_12 [arg1] z_000_37_a_ibm_1401_18 r_0037_0007__written->z_000_37_a_ibm_1401_18 [arg0] r_0037_0010__names names r_0037_0008__using->r_0037_0010__names [arg1] r_0037_0014__rather rather r_0037_0008__using->r_0037_0014__rather [nim] z_000_37_a_ibm_1401_23 r_0037_0008__using->z_000_37_a_ibm_1401_23 [arg0] r_0037_0009__meaningful meaningful r_0037_0010__names->r_0037_0009__meaningful [attrib] z_000_37_a_ibm_1401_46 r_0037_0014__rather->z_000_37_a_ibm_1401_46 than r_0037_0017__machine_r_0037_0018__language machine language z_000_37_a_ibm_1401_46->r_0037_0017__machine_r_0037_0018__language [arg1] r_0037_0016__actual actual r_0037_0017__machine_r_0037_0018__language->r_0037_0016__actual [attrib] z_000_37_a_ibm_1401_34 z_000_37_a_ibm_1401_34->r_0037_0010__names [arg0] r_0037_0012__symbols symbols z_000_37_a_ibm_1401_34->r_0037_0012__symbols [prd] 
arc(r_0037_0003__permit, r_0037_0001__These_r_0037_0002__systems, arg0).
arc(r_0037_0003__permit, r_0037_0004__programs, arg1).
arc(r_0037_0003__permit, z_000_37_a_ibm_1401_22, prd).
arc(r_0037_0005__to_r_0037_0006__be, r_0037_0007__written, scope).
arc(r_0037_0007__written, x_000_37_a_ibm_1401_12, arg1).
arc(r_0037_0007__written, z_000_37_a_ibm_1401_18, arg0).
arc(r_0037_0008__using, r_0037_0010__names, arg1).
arc(r_0037_0008__using, r_0037_0014__rather, nim40).
arc(r_0037_0008__using, z_000_37_a_ibm_1401_23, arg0).
arc(r_0037_0010__names, r_0037_0009__meaningful, attrib27).
arc(r_0037_0014__rather, z_000_37_a_ibm_1401_46, r_0037_0015__than).
arc(r_0037_0017__machine_r_0037_0018__language, r_0037_0016__actual, attrib48).
arc(z_000_37_a_ibm_1401_22, r_0037_0005__to_r_0037_0006__be, scope).
arc(z_000_37_a_ibm_1401_22, r_0037_0008__using, restriction).
arc(z_000_37_a_ibm_1401_34, r_0037_0010__names, arg0).
arc(z_000_37_a_ibm_1401_34, r_0037_0012__symbols, prd).
arc(z_000_37_a_ibm_1401_46, r_0037_0017__machine_r_0037_0018__language, arg1).


%3 r_0037_0003__permit permit r_0037_0001__These_r_0037_0002__systems These systems r_0037_0003__permit->r_0037_0001__These_r_0037_0002__systems [arg0] r_0037_0004__programs programs r_0037_0003__permit->r_0037_0004__programs [arg1] z_000_37_a_ibm_1401_22 r_0037_0003__permit->z_000_37_a_ibm_1401_22 [prd] r_0037_0005__to_r_0037_0006__be_r_0037_0007__written to be written z_000_37_a_ibm_1401_22->r_0037_0005__to_r_0037_0006__be_r_0037_0007__written [conj2] r_0037_0008__using using z_000_37_a_ibm_1401_22->r_0037_0008__using [conj1] x_000_37_a_ibm_1401_12 __ r_0037_0005__to_r_0037_0006__be_r_0037_0007__written->x_000_37_a_ibm_1401_12 [arg1] z_000_37_a_ibm_1401_18 r_0037_0005__to_r_0037_0006__be_r_0037_0007__written->z_000_37_a_ibm_1401_18 [arg0] r_0037_0010__names names r_0037_0008__using->r_0037_0010__names [arg1] r_0037_0014__rather rather r_0037_0008__using->r_0037_0014__rather [nim] z_000_37_a_ibm_1401_23 r_0037_0008__using->z_000_37_a_ibm_1401_23 [arg0] r_0037_0009__meaningful meaningful r_0037_0010__names->r_0037_0009__meaningful [attrib] z_000_37_a_ibm_1401_46 r_0037_0014__rather->z_000_37_a_ibm_1401_46 than r_0037_0017__machine_r_0037_0018__language machine language z_000_37_a_ibm_1401_46->r_0037_0017__machine_r_0037_0018__language [arg1] r_0037_0016__actual actual r_0037_0017__machine_r_0037_0018__language->r_0037_0016__actual [attrib] z_000_37_a_ibm_1401_34 z_000_37_a_ibm_1401_34->r_0037_0010__names [arg0] r_0037_0012__symbols symbols z_000_37_a_ibm_1401_34->r_0037_0012__symbols [prd] 
fof(formula,axiom,
    ? [R_37_3_PERMIT,R_37_1_THESE_SYSTEMS,R_37_4_PROGRAMS,Z_37_A_IBM_1401_22,R_37_8_USING,Z_37_A_IBM_1401_23,R_37_14_RATHER,Z_37_A_IBM_1401_46,R_37_17_MACHINE_LANGUAGE,R_37_16_ACTUAL,R_37_5_TO_BE_WRITTEN,Z_37_A_IBM_1401_18,X_37_A_IBM_1401_12,Z_37_A_IBM_1401_34,R_37_10_NAMES,R_37_9_MEANINGFUL,R_37_12_SYMBOLS] :
      ( these_systems(R_37_1_THESE_SYSTEMS)
      & programs(R_37_4_PROGRAMS)
      & actual(R_37_16_ACTUAL)
      & meaningful(R_37_9_MEANINGFUL)
      & symbols(R_37_12_SYMBOLS)
      & permit(R_37_3_PERMIT,R_37_1_THESE_SYSTEMS,R_37_4_PROGRAMS,Z_37_A_IBM_1401_22)
      & z_37_a_ibm_1401_22(Z_37_A_IBM_1401_22)
      & conj1(Z_37_A_IBM_1401_22,R_37_8_USING)
      & using(R_37_8_USING,Z_37_A_IBM_1401_23,R_37_10_NAMES)
      & names(R_37_10_NAMES)
      & attrib27(R_37_10_NAMES,R_37_9_MEANINGFUL)
      & nim40(R_37_8_USING,R_37_14_RATHER)
      & rather(R_37_14_RATHER)
      & than(R_37_14_RATHER,Z_37_A_IBM_1401_46)
      & z_37_a_ibm_1401_46(Z_37_A_IBM_1401_46)
      & arg1(Z_37_A_IBM_1401_46,R_37_17_MACHINE_LANGUAGE)
      & machine_language(R_37_17_MACHINE_LANGUAGE)
      & attrib48(R_37_17_MACHINE_LANGUAGE,R_37_16_ACTUAL)
      & conj2(Z_37_A_IBM_1401_22,R_37_5_TO_BE_WRITTEN)
      & to_be_written(R_37_5_TO_BE_WRITTEN,Z_37_A_IBM_1401_18,X_37_A_IBM_1401_12)
      & z_37_a_ibm_1401_34(Z_37_A_IBM_1401_34,R_37_10_NAMES,R_37_12_SYMBOLS) ) ).


n37_a_ibm_1401 n37_a_ibm_1401_4 These n37_a_ibm_1401_6 systems n37_a_ibm_1401_8 permit n37_a_ibm_1401_11 programs n37_a_ibm_1401_14 to n37_a_ibm_1401_16 be n37_a_ibm_1401_19 * n37_a_ibm_1401_21 written n37_a_ibm_1401_25 using n37_a_ibm_1401_29 meaningful n37_a_ibm_1401_31 names n37_a_ibm_1401_33 -LRB- n37_a_ibm_1401_37 symbols n37_a_ibm_1401_39 -RRB- n37_a_ibm_1401_42 rather n37_a_ibm_1401_45 than n37_a_ibm_1401_50 actual n37_a_ibm_1401_52 machine n37_a_ibm_1401_54 language n37_a_ibm_1401_56 . n37_a_ibm_1401_1 IP-MAT n37_a_ibm_1401_2 NP-SBJ n37_a_ibm_1401_1->n37_a_ibm_1401_2 n37_a_ibm_1401_7 VBP;_Cn.t_ n37_a_ibm_1401_1->n37_a_ibm_1401_7 n37_a_ibm_1401_9 NP-OB1 n37_a_ibm_1401_1->n37_a_ibm_1401_9 n37_a_ibm_1401_12 IP-INF-PRD n37_a_ibm_1401_1->n37_a_ibm_1401_12 n37_a_ibm_1401_55 PUNC n37_a_ibm_1401_1->n37_a_ibm_1401_55 n37_a_ibm_1401_3 D n37_a_ibm_1401_2->n37_a_ibm_1401_3 n37_a_ibm_1401_5 NS n37_a_ibm_1401_2->n37_a_ibm_1401_5 n37_a_ibm_1401_3->n37_a_ibm_1401_4 n37_a_ibm_1401_5->n37_a_ibm_1401_6 n37_a_ibm_1401_7->n37_a_ibm_1401_8 n37_a_ibm_1401_10 NS n37_a_ibm_1401_9->n37_a_ibm_1401_10 n37_a_ibm_1401_10->n37_a_ibm_1401_11 n37_a_ibm_1401_13 TO n37_a_ibm_1401_12->n37_a_ibm_1401_13 n37_a_ibm_1401_15 BE;_cat_VePASS_ n37_a_ibm_1401_12->n37_a_ibm_1401_15 n37_a_ibm_1401_17 IP-PPL-CAT n37_a_ibm_1401_12->n37_a_ibm_1401_17 n37_a_ibm_1401_22 PP-SCON n37_a_ibm_1401_12->n37_a_ibm_1401_22 n37_a_ibm_1401_13->n37_a_ibm_1401_14 n37_a_ibm_1401_15->n37_a_ibm_1401_16 n37_a_ibm_1401_18 NP-LGS n37_a_ibm_1401_17->n37_a_ibm_1401_18 n37_a_ibm_1401_20 VVN;_Tn_ n37_a_ibm_1401_17->n37_a_ibm_1401_20 n37_a_ibm_1401_18->n37_a_ibm_1401_19 n37_a_ibm_1401_20->n37_a_ibm_1401_21 n37_a_ibm_1401_23 IP-PPL3 n37_a_ibm_1401_22->n37_a_ibm_1401_23 n37_a_ibm_1401_24 VAG;_Tn_ n37_a_ibm_1401_23->n37_a_ibm_1401_24 n37_a_ibm_1401_26 NP-OB1 n37_a_ibm_1401_23->n37_a_ibm_1401_26 n37_a_ibm_1401_40 ADVP-NIM n37_a_ibm_1401_23->n37_a_ibm_1401_40 n37_a_ibm_1401_24->n37_a_ibm_1401_25 n37_a_ibm_1401_27 ADJP n37_a_ibm_1401_26->n37_a_ibm_1401_27 n37_a_ibm_1401_30 NS n37_a_ibm_1401_26->n37_a_ibm_1401_30 n37_a_ibm_1401_32 PULB n37_a_ibm_1401_26->n37_a_ibm_1401_32 n37_a_ibm_1401_34 IP-PPL n37_a_ibm_1401_26->n37_a_ibm_1401_34 n37_a_ibm_1401_38 PURB n37_a_ibm_1401_26->n37_a_ibm_1401_38 n37_a_ibm_1401_28 ADJ n37_a_ibm_1401_27->n37_a_ibm_1401_28 n37_a_ibm_1401_28->n37_a_ibm_1401_29 n37_a_ibm_1401_30->n37_a_ibm_1401_31 n37_a_ibm_1401_32->n37_a_ibm_1401_33 n37_a_ibm_1401_35 NP-PRD n37_a_ibm_1401_34->n37_a_ibm_1401_35 n37_a_ibm_1401_36 NS n37_a_ibm_1401_35->n37_a_ibm_1401_36 n37_a_ibm_1401_36->n37_a_ibm_1401_37 n37_a_ibm_1401_38->n37_a_ibm_1401_39 n37_a_ibm_1401_41 ADVR n37_a_ibm_1401_40->n37_a_ibm_1401_41 n37_a_ibm_1401_43 PP n37_a_ibm_1401_40->n37_a_ibm_1401_43 n37_a_ibm_1401_41->n37_a_ibm_1401_42 n37_a_ibm_1401_44 P-ROLE n37_a_ibm_1401_43->n37_a_ibm_1401_44 n37_a_ibm_1401_46 IP-ADV n37_a_ibm_1401_43->n37_a_ibm_1401_46 n37_a_ibm_1401_44->n37_a_ibm_1401_45 n37_a_ibm_1401_47 NP-OB1 n37_a_ibm_1401_46->n37_a_ibm_1401_47 n37_a_ibm_1401_48 ADJP n37_a_ibm_1401_47->n37_a_ibm_1401_48 n37_a_ibm_1401_51 N n37_a_ibm_1401_47->n37_a_ibm_1401_51 n37_a_ibm_1401_53 N n37_a_ibm_1401_47->n37_a_ibm_1401_53 n37_a_ibm_1401_49 ADJ n37_a_ibm_1401_48->n37_a_ibm_1401_49 n37_a_ibm_1401_49->n37_a_ibm_1401_50 n37_a_ibm_1401_51->n37_a_ibm_1401_52 n37_a_ibm_1401_53->n37_a_ibm_1401_54 n37_a_ibm_1401_55->n37_a_ibm_1401_56 
( (IP-MAT (NP-SBJ;{SYMBOLIC_SYSTEMS} (D These;{these})
                                     (NS systems;{system}))
          (VBP;_Cn.t_ permit;{permit})
          (NP-OB1 (NS programs;{program}))
          (IP-INF-PRD (TO to;{to})
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ written;{write}))
                      (PP-SCON (IP-PPL3 (VAG;_Tn_ using;{use})
                                        (NP-OB1 (ADJP (ADJ meaningful;{meaningful}))
                                                (NS names;{name})
                                                (PULB -LRB-)
                                                (IP-PPL (NP-PRD (NS symbols;{symbol})))
                                                (PURB -RRB-))
                                        (ADVP-NIM (ADVR rather;{rather})
                                                  (PP (P-ROLE than;{than})
                                                      (IP-ADV (NP-OB1 (ADJP (ADJ actual;{actual}))
                                                                      (N machine;{machine})
                                                                      (N language;{language}))))))))
          (PUNC .))
  (ID 37_a_ibm_1401))