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_0043_0001__COBOL,R_0043_0003__A_R_0043_0004__PROGRAMMER,R_0043_0007__LANGUAGE,R_0043_0016__AN_R_0043_0017__APPLICATION,Z_000_43_A_IBM_1401_44,R_0043_0015__DESCRIBING,X_000_43_A_IBM_1401_12,R_0043_0005__TO_R_0043_0006__USE,R_0043_0002__PERMITS,R_0043_0011__WORDS,R_0043_0013__PHRASES,R_0043_0012__AND,Z_000_43_A_IBM_1401_21,R_0043_0008__BASED] :
      ( 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_0007__language(R_0043_0007__LANGUAGE)
      & r_0043_0011__words(R_0043_0011__WORDS)
      & r_0043_0013__phrases(R_0043_0013__PHRASES)
      & r_0043_0016__an_r_0043_0017__application(R_0043_0016__AN_R_0043_0017__APPLICATION)
      & x_000_43_a_ibm_1401_12(X_000_43_A_IBM_1401_12)
      & z_000_43_a_ibm_1401_21(Z_000_43_A_IBM_1401_21)
      & z_000_43_a_ibm_1401_44(Z_000_43_A_IBM_1401_44)
      & r_0043_0008__based(R_0043_0008__BASED)
      & has_arg0(R_0043_0008__BASED,Z_000_43_A_IBM_1401_21)
      & has_r_0043_0009__on_clr28(R_0043_0008__BASED,R_0043_0012__AND)
      & r_0043_0012__and(R_0043_0012__AND)
      & has_conj2(R_0043_0012__AND,R_0043_0013__PHRASES)
      & has_conj1(R_0043_0012__AND,R_0043_0011__WORDS)
      & has_arg1(R_0043_0008__BASED,R_0043_0007__LANGUAGE)
      & r_0043_0002__permits(R_0043_0002__PERMITS)
      & has_prd(R_0043_0002__PERMITS,R_0043_0005__TO_R_0043_0006__USE)
      & r_0043_0005__to_r_0043_0006__use(R_0043_0005__TO_R_0043_0006__USE)
      & has_arg0(R_0043_0005__TO_R_0043_0006__USE,X_000_43_A_IBM_1401_12)
      & has_r_0043_0014__in_nim44(R_0043_0005__TO_R_0043_0006__USE,R_0043_0015__DESCRIBING)
      & r_0043_0015__describing(R_0043_0015__DESCRIBING)
      & has_arg0(R_0043_0015__DESCRIBING,Z_000_43_A_IBM_1401_44)
      & has_arg1(R_0043_0015__DESCRIBING,R_0043_0016__AN_R_0043_0017__APPLICATION)
      & has_arg1(R_0043_0005__TO_R_0043_0006__USE,R_0043_0007__LANGUAGE)
      & has_arg1(R_0043_0002__PERMITS,R_0043_0003__A_R_0043_0004__PROGRAMMER)
      & has_arg0(R_0043_0002__PERMITS,R_0043_0001__COBOL) ) ).

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