8_a_ibm_1401
The combination of a modern computer plus modern programming languages is the key to profitable data processing.
arc(r_0008_0001__The_r_0008_0002__combination, r_0008_0007__plus, r_0008_0003__of).
arc(r_0008_0004__a_r_0008_0006__computer, r_0008_0005__modern, attrib15).
arc(r_0008_0007__plus, r_0008_0004__a_r_0008_0006__computer, conj1).
arc(r_0008_0007__plus, r_0008_0009__programming_r_0008_0010__languages, conj2).
arc(r_0008_0009__programming_r_0008_0010__languages, r_0008_0008__modern, attrib24).
arc(r_0008_0011__is, r_0008_0001__The_r_0008_0002__combination, arg0).
arc(r_0008_0011__is, r_0008_0012__the_r_0008_0013__key, prd).
arc(r_0008_0012__the_r_0008_0013__key, r_0008_0016__data_r_0008_0017__processing, r_0008_0014__to).
arc(r_0008_0016__data_r_0008_0017__processing, r_0008_0015__profitable, attrib42).
fof(formula,axiom,
? [R_8_11_IS,R_8_1_THE_COMBINATION,R_8_7_PLUS,R_8_4_A_COMPUTER,R_8_5_MODERN,R_8_9_PROGRAMMING_LANGUAGES,R_8_8_MODERN,R_8_12_THE_KEY,R_8_16_DATA_PROCESSING,R_8_15_PROFITABLE] :
( modern(R_8_5_MODERN)
& modern(R_8_8_MODERN)
& profitable(R_8_15_PROFITABLE)
& is(R_8_11_IS,R_8_1_THE_COMBINATION,R_8_12_THE_KEY)
& the_combination(R_8_1_THE_COMBINATION)
& of(R_8_1_THE_COMBINATION,R_8_7_PLUS)
& plus(R_8_7_PLUS)
& conj1(R_8_7_PLUS,R_8_4_A_COMPUTER)
& a_computer(R_8_4_A_COMPUTER)
& attrib15(R_8_4_A_COMPUTER,R_8_5_MODERN)
& conj2(R_8_7_PLUS,R_8_9_PROGRAMMING_LANGUAGES)
& programming_languages(R_8_9_PROGRAMMING_LANGUAGES)
& attrib24(R_8_9_PROGRAMMING_LANGUAGES,R_8_8_MODERN)
& the_key(R_8_12_THE_KEY)
& to(R_8_12_THE_KEY,R_8_16_DATA_PROCESSING)
& data_processing(R_8_16_DATA_PROCESSING)
& attrib42(R_8_16_DATA_PROCESSING,R_8_15_PROFITABLE) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N combination;{combination})
(PP (P-ROLE of;{of})
(NP (NLYR (NLYR (D a;{a})
(ADJP (ADJ modern;{modern}))
(N computer;{computer}))
(CONJP (CONJ plus;{plus})
(NLYR (ADJP (ADJ modern;{modern}))
(N programming;{programming})
(NS languages;{language})))))))
(BEP;_Ln_ is;{be})
(NP-PRD (D the;{the})
(N key;{key})
(PP (P-ROLE to;{to})
(NP (ADJP (ADJ profitable;{profitable}))
(NS data;{data})
(N processing;{processing}))))
(PUNC .))
(ID 8_a_ibm_1401))