37_a_ibm_1401
These systems permit programs to be written using meaningful names (symbols) rather than actual machine language.
( (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-)
(PRN (NP (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))
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_0037_5006,prd).
arc(r_0037_0006__be,r_0037_0007__written,scope).
arc(r_0037_0007__written,z_0037_5005,arg1).
arc(r_0037_0007__written,z_0037_5025___star_,arg0).
arc(r_0037_0008__using,r_0037_0010__names,arg1).
arc(r_0037_0008__using,r_0037_0014__rather,nim).
arc(r_0037_0008__using,z_0037_5009,arg0).
arc(r_0037_0010__names,r_0037_0009__meaningful,attrib).
arc(r_0037_0014__rather,z_0037_5021,r_0037_0015__than).
arc(r_0037_0017__machine_r_0037_0018__language,r_0037_0016__actual,attrib).
arc(z_0037_5006,r_0037_0006__be,scope).
arc(z_0037_5006,r_0037_0008__using,restriction).
arc(z_0037_5013,r_0037_0010__names,arg0).
arc(z_0037_5013,r_0037_0012__symbols,prd).
arc(z_0037_5021,r_0037_0017__machine_r_0037_0018__language,arg1).
arc(z_0037_5021,z_0037_5018,arg0).
fof(formula,axiom,
? [R_0037_0001__THESE_R_0037_0002__SYSTEMS,R_0037_0004__PROGRAMS,Z_0037_5005,Z_0037_5025___STAR_,R_0037_0006__BE_R_0037_0007__WRITTEN,R_0037_0009__MEANINGFUL,R_0037_0010__NAMES,R_0037_0016__ACTUAL,R_0037_0017__MACHINE_R_0037_0018__LANGUAGE,Z_0037_5018,Z_0037_5021,R_0037_0014__RATHER,Z_0037_5009,R_0037_0008__USING,Z_0037_5006,R_0037_0003__PERMIT,R_0037_0012__SYMBOLS,Z_0037_5013] :
( r_0037_0001__These_r_0037_0002__systems(R_0037_0001__THESE_R_0037_0002__SYSTEMS)
& r_0037_0004__programs(R_0037_0004__PROGRAMS)
& r_0037_0009__meaningful(R_0037_0009__MEANINGFUL)
& r_0037_0012__symbols(R_0037_0012__SYMBOLS)
& r_0037_0016__actual(R_0037_0016__ACTUAL)
& z_0037_5005(Z_0037_5005)
& z_0037_5009(Z_0037_5009)
& z_0037_5018(Z_0037_5018)
& z_0037_5025___star_(Z_0037_5025___STAR_)
& z_0037_5013(Z_0037_5013)
& has_prd(Z_0037_5013,R_0037_0012__SYMBOLS)
& has_arg0(Z_0037_5013,R_0037_0010__NAMES)
& r_0037_0010__names(R_0037_0010__NAMES)
& has_attrib(R_0037_0010__NAMES,R_0037_0009__MEANINGFUL)
& r_0037_0003__permit(R_0037_0003__PERMIT)
& has_prd(R_0037_0003__PERMIT,Z_0037_5006)
& z_0037_5006(Z_0037_5006)
& has_conj1(Z_0037_5006,R_0037_0008__USING)
& r_0037_0008__using(R_0037_0008__USING)
& has_arg0(R_0037_0008__USING,Z_0037_5009)
& has_nim(R_0037_0008__USING,R_0037_0014__RATHER)
& r_0037_0014__rather(R_0037_0014__RATHER)
& has_r_0037_0015__than(R_0037_0014__RATHER,Z_0037_5021)
& z_0037_5021(Z_0037_5021)
& has_arg0(Z_0037_5021,Z_0037_5018)
& has_arg1(Z_0037_5021,R_0037_0017__MACHINE_R_0037_0018__LANGUAGE)
& r_0037_0017__machine_r_0037_0018__language(R_0037_0017__MACHINE_R_0037_0018__LANGUAGE)
& has_attrib(R_0037_0017__MACHINE_R_0037_0018__LANGUAGE,R_0037_0016__ACTUAL)
& has_arg1(R_0037_0008__USING,R_0037_0010__NAMES)
& has_conj2(Z_0037_5006,R_0037_0006__BE_R_0037_0007__WRITTEN)
& r_0037_0006__be_r_0037_0007__written(R_0037_0006__BE_R_0037_0007__WRITTEN)
& has_arg0(R_0037_0006__BE_R_0037_0007__WRITTEN,Z_0037_5025___STAR_)
& has_arg1(R_0037_0006__BE_R_0037_0007__WRITTEN,Z_0037_5005)
& has_arg1(R_0037_0003__PERMIT,R_0037_0004__PROGRAMS)
& has_arg0(R_0037_0003__PERMIT,R_0037_0001__THESE_R_0037_0002__SYSTEMS) ) ).