TSPC 42_a_ibm

42_a_ibm_1401
COBOL is a problem - oriented programming language for commercial applications.

( (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))

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,inv_arg1).
arc(r_0042_0006__oriented,r_0042_0004__problem,nim).
arc(r_0042_0006__oriented,z_0042_5003___star_,arg0).
arc(r_0042_0011__applications,r_0042_0010__commercial,attrib).

fof(formula,axiom,
    ? [R_0042_0001__COBOL,R_0042_0010__COMMERCIAL,R_0042_0011__APPLICATIONS,R_0042_0004__PROBLEM,Z_0042_5003___STAR_,R_0042_0006__ORIENTED,R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE,R_0042_0002__IS] :
      ( 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_0042_5003___star_(Z_0042_5003___STAR_)
      & 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)
      & 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_inv_arg1(R_0042_0003__A_R_0042_0007__PROGRAMMING_R_0042_0008__LANGUAGE,R_0042_0006__ORIENTED)
      & r_0042_0006__oriented(R_0042_0006__ORIENTED)
      & has_arg0(R_0042_0006__ORIENTED,Z_0042_5003___STAR_)
      & has_nim(R_0042_0006__ORIENTED,R_0042_0004__PROBLEM)
      & 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_attrib(R_0042_0011__APPLICATIONS,R_0042_0010__COMMERCIAL)
      & has_arg0(R_0042_0002__IS,R_0042_0001__COBOL) ) ).