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 z_000_37_a_ibm_1401_46 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 r_0037_0012__symbols symbols z_000_37_a_ibm_1401_34->r_0037_0012__symbols [prd] r_0037_0010__names names z_000_37_a_ibm_1401_34->r_0037_0010__names [arg0] r_0037_0009__meaningful meaningful r_0037_0010__names->r_0037_0009__meaningful [attrib] z_000_37_a_ibm_1401_22 r_0037_0008__using using z_000_37_a_ibm_1401_22->r_0037_0008__using [conj1] 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->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] 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] 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] r_0037_0014__rather->z_000_37_a_ibm_1401_46 than r_0037_0003__permit permit r_0037_0003__permit->z_000_37_a_ibm_1401_22 [prd] r_0037_0004__programs programs r_0037_0003__permit->r_0037_0004__programs [arg1] r_0037_0001__These_r_0037_0002__systems These systems r_0037_0003__permit->r_0037_0001__These_r_0037_0002__systems [arg0] 
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__1_1_1_1 These n37_a_ibm_1401__1_1_2_1 systems n37_a_ibm_1401__1_2_1 permit n37_a_ibm_1401__1_3_1_1 programs n37_a_ibm_1401__1_4_1_1 to n37_a_ibm_1401__1_4_2_1 be n37_a_ibm_1401__1_4_3_1_1 * n37_a_ibm_1401__1_4_3_2_1 written n37_a_ibm_1401__1_4_4_1_1_1 using n37_a_ibm_1401__1_4_4_1_2_1_1_1 meaningful n37_a_ibm_1401__1_4_4_1_2_2_1 names n37_a_ibm_1401__1_4_4_1_2_3_1 -LRB- n37_a_ibm_1401__1_4_4_1_2_4_1_1_1 symbols n37_a_ibm_1401__1_4_4_1_2_5_1 -RRB- n37_a_ibm_1401__1_4_4_1_3_1_1 rather n37_a_ibm_1401__1_4_4_1_3_2_1_1 than n37_a_ibm_1401__1_4_4_1_3_2_2_1_1_1_1 actual n37_a_ibm_1401__1_4_4_1_3_2_2_1_2_1 machine n37_a_ibm_1401__1_4_4_1_3_2_2_1_3_1 language n37_a_ibm_1401__1_5_1 . n37_a_ibm_1401__1 IP-MAT n37_a_ibm_1401__1_1 NP-SBJ n37_a_ibm_1401__1->n37_a_ibm_1401__1_1 n37_a_ibm_1401__1_2 VBP;_Cn.t_ n37_a_ibm_1401__1->n37_a_ibm_1401__1_2 n37_a_ibm_1401__1_3 NP-OB1 n37_a_ibm_1401__1->n37_a_ibm_1401__1_3 n37_a_ibm_1401__1_4 IP-INF-PRD n37_a_ibm_1401__1->n37_a_ibm_1401__1_4 n37_a_ibm_1401__1_5 PUNC n37_a_ibm_1401__1->n37_a_ibm_1401__1_5 n37_a_ibm_1401__1_1_1 D n37_a_ibm_1401__1_1->n37_a_ibm_1401__1_1_1 n37_a_ibm_1401__1_1_2 NS n37_a_ibm_1401__1_1->n37_a_ibm_1401__1_1_2 n37_a_ibm_1401__1_1_1->n37_a_ibm_1401__1_1_1_1 n37_a_ibm_1401__1_1_2->n37_a_ibm_1401__1_1_2_1 n37_a_ibm_1401__1_2->n37_a_ibm_1401__1_2_1 n37_a_ibm_1401__1_3_1 NS n37_a_ibm_1401__1_3->n37_a_ibm_1401__1_3_1 n37_a_ibm_1401__1_3_1->n37_a_ibm_1401__1_3_1_1 n37_a_ibm_1401__1_4_1 TO n37_a_ibm_1401__1_4->n37_a_ibm_1401__1_4_1 n37_a_ibm_1401__1_4_2 BE;_cat_VePASS_ n37_a_ibm_1401__1_4->n37_a_ibm_1401__1_4_2 n37_a_ibm_1401__1_4_3 IP-PPL-CAT n37_a_ibm_1401__1_4->n37_a_ibm_1401__1_4_3 n37_a_ibm_1401__1_4_4 PP-SCON n37_a_ibm_1401__1_4->n37_a_ibm_1401__1_4_4 n37_a_ibm_1401__1_4_1->n37_a_ibm_1401__1_4_1_1 n37_a_ibm_1401__1_4_2->n37_a_ibm_1401__1_4_2_1 n37_a_ibm_1401__1_4_3_1 NP-LGS n37_a_ibm_1401__1_4_3->n37_a_ibm_1401__1_4_3_1 n37_a_ibm_1401__1_4_3_2 VVN;_Tn_ n37_a_ibm_1401__1_4_3->n37_a_ibm_1401__1_4_3_2 n37_a_ibm_1401__1_4_3_1->n37_a_ibm_1401__1_4_3_1_1 n37_a_ibm_1401__1_4_3_2->n37_a_ibm_1401__1_4_3_2_1 n37_a_ibm_1401__1_4_4_1 IP-PPL3 n37_a_ibm_1401__1_4_4->n37_a_ibm_1401__1_4_4_1 n37_a_ibm_1401__1_4_4_1_1 VAG;_Tn_ n37_a_ibm_1401__1_4_4_1->n37_a_ibm_1401__1_4_4_1_1 n37_a_ibm_1401__1_4_4_1_2 NP-OB1 n37_a_ibm_1401__1_4_4_1->n37_a_ibm_1401__1_4_4_1_2 n37_a_ibm_1401__1_4_4_1_3 ADVP-NIM n37_a_ibm_1401__1_4_4_1->n37_a_ibm_1401__1_4_4_1_3 n37_a_ibm_1401__1_4_4_1_1->n37_a_ibm_1401__1_4_4_1_1_1 n37_a_ibm_1401__1_4_4_1_2_1 ADJP n37_a_ibm_1401__1_4_4_1_2->n37_a_ibm_1401__1_4_4_1_2_1 n37_a_ibm_1401__1_4_4_1_2_2 NS n37_a_ibm_1401__1_4_4_1_2->n37_a_ibm_1401__1_4_4_1_2_2 n37_a_ibm_1401__1_4_4_1_2_3 PULB n37_a_ibm_1401__1_4_4_1_2->n37_a_ibm_1401__1_4_4_1_2_3 n37_a_ibm_1401__1_4_4_1_2_4 IP-PPL n37_a_ibm_1401__1_4_4_1_2->n37_a_ibm_1401__1_4_4_1_2_4 n37_a_ibm_1401__1_4_4_1_2_5 PURB n37_a_ibm_1401__1_4_4_1_2->n37_a_ibm_1401__1_4_4_1_2_5 n37_a_ibm_1401__1_4_4_1_2_1_1 ADJ n37_a_ibm_1401__1_4_4_1_2_1->n37_a_ibm_1401__1_4_4_1_2_1_1 n37_a_ibm_1401__1_4_4_1_2_1_1->n37_a_ibm_1401__1_4_4_1_2_1_1_1 n37_a_ibm_1401__1_4_4_1_2_2->n37_a_ibm_1401__1_4_4_1_2_2_1 n37_a_ibm_1401__1_4_4_1_2_3->n37_a_ibm_1401__1_4_4_1_2_3_1 n37_a_ibm_1401__1_4_4_1_2_4_1 NP-PRD n37_a_ibm_1401__1_4_4_1_2_4->n37_a_ibm_1401__1_4_4_1_2_4_1 n37_a_ibm_1401__1_4_4_1_2_4_1_1 NS n37_a_ibm_1401__1_4_4_1_2_4_1->n37_a_ibm_1401__1_4_4_1_2_4_1_1 n37_a_ibm_1401__1_4_4_1_2_4_1_1->n37_a_ibm_1401__1_4_4_1_2_4_1_1_1 n37_a_ibm_1401__1_4_4_1_2_5->n37_a_ibm_1401__1_4_4_1_2_5_1 n37_a_ibm_1401__1_4_4_1_3_1 ADVR n37_a_ibm_1401__1_4_4_1_3->n37_a_ibm_1401__1_4_4_1_3_1 n37_a_ibm_1401__1_4_4_1_3_2 PP n37_a_ibm_1401__1_4_4_1_3->n37_a_ibm_1401__1_4_4_1_3_2 n37_a_ibm_1401__1_4_4_1_3_1->n37_a_ibm_1401__1_4_4_1_3_1_1 n37_a_ibm_1401__1_4_4_1_3_2_1 P-ROLE n37_a_ibm_1401__1_4_4_1_3_2->n37_a_ibm_1401__1_4_4_1_3_2_1 n37_a_ibm_1401__1_4_4_1_3_2_2 IP-ADV n37_a_ibm_1401__1_4_4_1_3_2->n37_a_ibm_1401__1_4_4_1_3_2_2 n37_a_ibm_1401__1_4_4_1_3_2_1->n37_a_ibm_1401__1_4_4_1_3_2_1_1 n37_a_ibm_1401__1_4_4_1_3_2_2_1 NP-OB1 n37_a_ibm_1401__1_4_4_1_3_2_2->n37_a_ibm_1401__1_4_4_1_3_2_2_1 n37_a_ibm_1401__1_4_4_1_3_2_2_1_1 ADJP n37_a_ibm_1401__1_4_4_1_3_2_2_1->n37_a_ibm_1401__1_4_4_1_3_2_2_1_1 n37_a_ibm_1401__1_4_4_1_3_2_2_1_2 N n37_a_ibm_1401__1_4_4_1_3_2_2_1->n37_a_ibm_1401__1_4_4_1_3_2_2_1_2 n37_a_ibm_1401__1_4_4_1_3_2_2_1_3 N n37_a_ibm_1401__1_4_4_1_3_2_2_1->n37_a_ibm_1401__1_4_4_1_3_2_2_1_3 n37_a_ibm_1401__1_4_4_1_3_2_2_1_1_1 ADJ n37_a_ibm_1401__1_4_4_1_3_2_2_1_1->n37_a_ibm_1401__1_4_4_1_3_2_2_1_1_1 n37_a_ibm_1401__1_4_4_1_3_2_2_1_1_1->n37_a_ibm_1401__1_4_4_1_3_2_2_1_1_1_1 n37_a_ibm_1401__1_4_4_1_3_2_2_1_2->n37_a_ibm_1401__1_4_4_1_3_2_2_1_2_1 n37_a_ibm_1401__1_4_4_1_3_2_2_1_3->n37_a_ibm_1401__1_4_4_1_3_2_2_1_3_1 n37_a_ibm_1401__1_5->n37_a_ibm_1401__1_5_1 
( (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))