TSPC 43_a_ibm

43_a_ibm_1401
COBOL permits a programmer to use language based on English words and phrases in describing an application.

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

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_0006__use,prd).
arc(r_0043_0006__use,r_0043_0007__language,arg1).
arc(r_0043_0006__use,r_0043_0015__describing,r_0043_0014__in__nim).
arc(r_0043_0006__use,z_0043_5004,arg0).
arc(r_0043_0008__based,r_0043_0007__language,inv_arg1).
arc(r_0043_0008__based,r_0043_0010__English_r_0043_0011__words_r_0043_0012__and_r_0043_0013__phrases,r_0043_0009__on__clr).
arc(r_0043_0008__based,z_0043_5007___star_,arg0).
arc(r_0043_0015__describing,r_0043_0016__an_r_0043_0017__application,arg1).
arc(r_0043_0015__describing,z_0043_5004,arg0).

fof(formula,axiom,
    ? [R_0043_0001__COBOL,R_0043_0003__A_R_0043_0004__PROGRAMMER,R_0043_0010__ENGLISH_R_0043_0011__WORDS_R_0043_0012__AND_R_0043_0013__PHRASES,Z_0043_5007___STAR_,R_0043_0008__BASED,R_0043_0007__LANGUAGE,R_0043_0016__AN_R_0043_0017__APPLICATION,Z_0043_5004,R_0043_0015__DESCRIBING,R_0043_0006__USE,R_0043_0002__PERMITS] :
      ( r_0043_0001__COBOL(R_0043_0001__COBOL)
      & r_0043_0003__a_r_0043_0004__programmer(R_0043_0003__A_R_0043_0004__PROGRAMMER)
      & r_0043_0010__English_r_0043_0011__words_r_0043_0012__and_r_0043_0013__phrases(R_0043_0010__ENGLISH_R_0043_0011__WORDS_R_0043_0012__AND_R_0043_0013__PHRASES)
      & r_0043_0016__an_r_0043_0017__application(R_0043_0016__AN_R_0043_0017__APPLICATION)
      & z_0043_5004(Z_0043_5004)
      & z_0043_5007___star_(Z_0043_5007___STAR_)
      & r_0043_0002__permits(R_0043_0002__PERMITS)
      & has_prd(R_0043_0002__PERMITS,R_0043_0006__USE)
      & r_0043_0006__use(R_0043_0006__USE)
      & has_arg0(R_0043_0006__USE,Z_0043_5004)
      & has_r_0043_0014__in__nim(R_0043_0006__USE,R_0043_0015__DESCRIBING)
      & r_0043_0015__describing(R_0043_0015__DESCRIBING)
      & has_arg0(R_0043_0015__DESCRIBING,Z_0043_5004)
      & has_arg1(R_0043_0015__DESCRIBING,R_0043_0016__AN_R_0043_0017__APPLICATION)
      & has_arg1(R_0043_0006__USE,R_0043_0007__LANGUAGE)
      & r_0043_0007__language(R_0043_0007__LANGUAGE)
      & has_inv_arg1(R_0043_0007__LANGUAGE,R_0043_0008__BASED)
      & r_0043_0008__based(R_0043_0008__BASED)
      & has_arg0(R_0043_0008__BASED,Z_0043_5007___STAR_)
      & has_r_0043_0009__on__clr(R_0043_0008__BASED,R_0043_0010__ENGLISH_R_0043_0011__WORDS_R_0043_0012__AND_R_0043_0013__PHRASES)
      & has_arg1(R_0043_0002__PERMITS,R_0043_0003__A_R_0043_0004__PROGRAMMER)
      & has_arg0(R_0043_0002__PERMITS,R_0043_0001__COBOL) ) ).