42_a_ibm_1401
COBOL is a problem - oriented programming language for commercial applications.
arc(r_0042_0002__is, r_0042_0001__COBOL, arg0).
arc(r_0042_0002__is, r_0042_0003__a_r_0042_0007__programming_r_0042_0008__language, prd).
arc(r_0042_0003__a_r_0042_0007__programming_r_0042_0008__language, r_0042_0011__applications, r_0042_0009__for).
arc(r_0042_0006__oriented, r_0042_0003__a_r_0042_0007__programming_r_0042_0008__language, arg1).
arc(r_0042_0006__oriented, r_0042_0004__problem, nim13).
arc(r_0042_0006__oriented, z_000_42_a_ibm_1401_11, arg0).
arc(r_0042_0011__applications, r_0042_0010__commercial, attrib28).
fof(formula,axiom,
? [R_0042_0001__COBOL,R_0042_0010__COMMERCIAL,R_0042_0011__APPLICATIONS,R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE,R_0042_0002__IS,R_0042_0004__PROBLEM,Z_000_42_A_IBM_1401_11,R_0042_0006__ORIENTED] :
( r_0042_0001__COBOL(R_0042_0001__COBOL)
& r_0042_0004__problem(R_0042_0004__PROBLEM)
& r_0042_0010__commercial(R_0042_0010__COMMERCIAL)
& z_000_42_a_ibm_1401_11(Z_000_42_A_IBM_1401_11)
& r_0042_0006__oriented(R_0042_0006__ORIENTED)
& has_arg0(R_0042_0006__ORIENTED,Z_000_42_A_IBM_1401_11)
& has_nim13(R_0042_0006__ORIENTED,R_0042_0004__PROBLEM)
& has_arg1(R_0042_0006__ORIENTED,R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE)
& r_0042_0003__a_r_0042_0007__programming_r_0042_0008__language(R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE)
& has_r_0042_0009__for(R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE,R_0042_0011__APPLICATIONS)
& r_0042_0011__applications(R_0042_0011__APPLICATIONS)
& has_attrib28(R_0042_0011__APPLICATIONS,R_0042_0010__COMMERCIAL)
& r_0042_0002__is(R_0042_0002__IS)
& has_prd(R_0042_0002__IS,R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE)
& has_arg0(R_0042_0002__IS,R_0042_0001__COBOL) ) ).
( (IP-MAT (NP-SBJ;{COBOL} (NPR COBOL;{COBOL}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(IP-PPL (NP-LGS *)
(NP-NIM (N problem;{problem}))
(PUNC <hyphen>)
(VVN;_Tn_ oriented;{orientate}))
(N programming;{programming})
(N language;{language})
(PP (P-ROLE for;{for})
(NP (ADJP (ADJ commercial;{commercial}))
(NS applications;{application}))))
(PUNC .))
(ID 42_a_ibm_1401))