43_a_ibm_1401
COBOL permits a programmer to use language based on English words and phrases in describing an application.
arc(r_0043_0002__permits, r_0043_0001__COBOL, arg0).
arc(r_0043_0002__permits, r_0043_0003__a_r_0043_0004__programmer, arg1).
arc(r_0043_0002__permits, r_0043_0005__to_r_0043_0006__use, prd).
arc(r_0043_0005__to_r_0043_0006__use, r_0043_0007__language, arg1).
arc(r_0043_0005__to_r_0043_0006__use, r_0043_0015__describing, r_0043_0014__in_nim44).
arc(r_0043_0005__to_r_0043_0006__use, x_000_43_a_ibm_1401_12, arg0).
arc(r_0043_0008__based, r_0043_0007__language, arg1).
arc(r_0043_0008__based, r_0043_0012__and, r_0043_0009__on_clr28).
arc(r_0043_0008__based, z_000_43_a_ibm_1401_21, arg0).
arc(r_0043_0012__and, r_0043_0011__words, conj1).
arc(r_0043_0012__and, r_0043_0013__phrases, conj2).
arc(r_0043_0015__describing, r_0043_0016__an_r_0043_0017__application, arg1).
arc(r_0043_0015__describing, z_000_43_a_ibm_1401_44, arg0).
fof(formula,axiom,
? [R_43_2_PERMITS,R_43_1_COBOL,R_43_3_A_PROGRAMMER,R_43_5_TO_USE,X_43_A_IBM_1401_12,R_43_15_DESCRIBING,Z_43_A_IBM_1401_44,R_43_16_AN_APPLICATION,R_43_8_BASED,Z_43_A_IBM_1401_21,R_43_7_LANGUAGE,R_43_12_AND,R_43_11_WORDS,R_43_13_PHRASES] :
( cOBOL(R_43_1_COBOL)
& a_programmer(R_43_3_A_PROGRAMMER)
& an_application(R_43_16_AN_APPLICATION)
& language(R_43_7_LANGUAGE)
& words(R_43_11_WORDS)
& phrases(R_43_13_PHRASES)
& permits(R_43_2_PERMITS,R_43_1_COBOL,R_43_3_A_PROGRAMMER,R_43_5_TO_USE)
& to_use(R_43_5_TO_USE,X_43_A_IBM_1401_12,R_43_7_LANGUAGE)
& in_nim44(R_43_5_TO_USE,R_43_15_DESCRIBING)
& describing(R_43_15_DESCRIBING,Z_43_A_IBM_1401_44,R_43_16_AN_APPLICATION)
& based(R_43_8_BASED,Z_43_A_IBM_1401_21,R_43_7_LANGUAGE)
& on_clr28(R_43_8_BASED,R_43_12_AND)
& and(R_43_12_AND)
& conj1(R_43_12_AND,R_43_11_WORDS)
& conj2(R_43_12_AND,R_43_13_PHRASES) ) ).
( (IP-MAT (NP-SBJ;{COBOL} (NPR COBOL;{COBOL}))
(VBP;_Cn.t_ permits;{permit})
(NP-OB1 (D a;{a})
(N programmer;{programmer}))
(IP-INF-PRD (TO to;{to})
(VB;_Tn_ use;{use})
(NP-OB1 (N language;{language})
(IP-PPL (NP-LGS *)
(VVN;_phr_Vn.pr_ based;{base[on]})
(PP-CLR (P-ROLE on;{on})
(NP (N English;{english})
(NLYR (NLYR (NS words;{word}))
(CONJP (CONJ and;{and})
(NLYR (NS phrases;{phrase}))))))))
(PP-NIM (P-ROLE in;{in})
(IP-PPL2 (VAG;_Tn_ describing;{describe})
(NP-OB1 (D an;{an})
(N application;{application})))))
(PUNC .))
(ID 43_a_ibm_1401))