Context                Previous, Next                Top


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

%3 r_0043_0002__permits permits r_0043_0001__COBOL COBOL r_0043_0002__permits->r_0043_0001__COBOL [arg0] r_0043_0003__a_r_0043_0004__programmer a programmer r_0043_0002__permits->r_0043_0003__a_r_0043_0004__programmer [arg1] r_0043_0005__to_r_0043_0006__use to use r_0043_0002__permits->r_0043_0005__to_r_0043_0006__use [prd] r_0043_0007__language language r_0043_0005__to_r_0043_0006__use->r_0043_0007__language [arg1] r_0043_0015__describing describing r_0043_0005__to_r_0043_0006__use->r_0043_0015__describing in [nim] x_000_43_a_ibm_1401_12 __ r_0043_0005__to_r_0043_0006__use->x_000_43_a_ibm_1401_12 [arg0] r_0043_0016__an_r_0043_0017__application an application r_0043_0015__describing->r_0043_0016__an_r_0043_0017__application [arg1] z_000_43_a_ibm_1401_44 r_0043_0015__describing->z_000_43_a_ibm_1401_44 [arg0] r_0043_0008__based based r_0043_0008__based->r_0043_0007__language [arg1] r_0043_0012__and and r_0043_0008__based->r_0043_0012__and on [clr] z_000_43_a_ibm_1401_21 r_0043_0008__based->z_000_43_a_ibm_1401_21 [arg0] r_0043_0011__words words r_0043_0012__and->r_0043_0011__words [conj1] r_0043_0013__phrases phrases r_0043_0012__and->r_0043_0013__phrases [conj2] 
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).


%3 r_0043_0002__permits permits r_0043_0001__COBOL COBOL r_0043_0002__permits->r_0043_0001__COBOL [arg0] r_0043_0003__a_r_0043_0004__programmer a programmer r_0043_0002__permits->r_0043_0003__a_r_0043_0004__programmer [arg1] r_0043_0005__to_r_0043_0006__use to use r_0043_0002__permits->r_0043_0005__to_r_0043_0006__use [prd] r_0043_0007__language language r_0043_0005__to_r_0043_0006__use->r_0043_0007__language [arg1] r_0043_0015__describing describing r_0043_0005__to_r_0043_0006__use->r_0043_0015__describing in [nim] x_000_43_a_ibm_1401_12 __ r_0043_0005__to_r_0043_0006__use->x_000_43_a_ibm_1401_12 [arg0] r_0043_0016__an_r_0043_0017__application an application r_0043_0015__describing->r_0043_0016__an_r_0043_0017__application [arg1] z_000_43_a_ibm_1401_44 r_0043_0015__describing->z_000_43_a_ibm_1401_44 [arg0] r_0043_0008__based based r_0043_0008__based->r_0043_0007__language [arg1] r_0043_0012__and and r_0043_0008__based->r_0043_0012__and on [clr] z_000_43_a_ibm_1401_21 r_0043_0008__based->z_000_43_a_ibm_1401_21 [arg0] r_0043_0011__words words r_0043_0012__and->r_0043_0011__words [conj1] r_0043_0013__phrases phrases r_0043_0012__and->r_0043_0013__phrases [conj2] 
fof(formula,axiom,
    ? [R_43_2_PERMITS,R_43_1_COBOL,R_43_3_A_PROGRAMMER,R_43_5_TO_USE,X_43_A_IBM_1401_12,R_43_15_DESCRIBING,Z_43_A_IBM_1401_44,R_43_16_AN_APPLICATION,R_43_8_BASED,Z_43_A_IBM_1401_21,R_43_7_LANGUAGE,R_43_12_AND,R_43_11_WORDS,R_43_13_PHRASES] :
      ( cOBOL(R_43_1_COBOL)
      & a_programmer(R_43_3_A_PROGRAMMER)
      & an_application(R_43_16_AN_APPLICATION)
      & language(R_43_7_LANGUAGE)
      & words(R_43_11_WORDS)
      & phrases(R_43_13_PHRASES)
      & permits(R_43_2_PERMITS,R_43_1_COBOL,R_43_3_A_PROGRAMMER,R_43_5_TO_USE)
      & to_use(R_43_5_TO_USE,X_43_A_IBM_1401_12,R_43_7_LANGUAGE)
      & in_nim44(R_43_5_TO_USE,R_43_15_DESCRIBING)
      & describing(R_43_15_DESCRIBING,Z_43_A_IBM_1401_44,R_43_16_AN_APPLICATION)
      & based(R_43_8_BASED,Z_43_A_IBM_1401_21,R_43_7_LANGUAGE)
      & on_clr28(R_43_8_BASED,R_43_12_AND)
      & and(R_43_12_AND)
      & conj1(R_43_12_AND,R_43_11_WORDS)
      & conj2(R_43_12_AND,R_43_13_PHRASES) ) ).


n43_a_ibm_1401 n43_a_ibm_1401_4 COBOL n43_a_ibm_1401_6 permits n43_a_ibm_1401_9 a n43_a_ibm_1401_11 programmer n43_a_ibm_1401_14 to n43_a_ibm_1401_16 use n43_a_ibm_1401_19 language n43_a_ibm_1401_22 * n43_a_ibm_1401_24 based n43_a_ibm_1401_27 on n43_a_ibm_1401_30 English n43_a_ibm_1401_34 words n43_a_ibm_1401_37 and n43_a_ibm_1401_40 phrases n43_a_ibm_1401_43 in n43_a_ibm_1401_46 describing n43_a_ibm_1401_49 an n43_a_ibm_1401_51 application n43_a_ibm_1401_53 . n43_a_ibm_1401_1 IP-MAT n43_a_ibm_1401_2 NP-SBJ n43_a_ibm_1401_1->n43_a_ibm_1401_2 n43_a_ibm_1401_5 VBP;_Cn.t_ n43_a_ibm_1401_1->n43_a_ibm_1401_5 n43_a_ibm_1401_7 NP-OB1 n43_a_ibm_1401_1->n43_a_ibm_1401_7 n43_a_ibm_1401_12 IP-INF-PRD n43_a_ibm_1401_1->n43_a_ibm_1401_12 n43_a_ibm_1401_52 PUNC n43_a_ibm_1401_1->n43_a_ibm_1401_52 n43_a_ibm_1401_3 NPR n43_a_ibm_1401_2->n43_a_ibm_1401_3 n43_a_ibm_1401_3->n43_a_ibm_1401_4 n43_a_ibm_1401_5->n43_a_ibm_1401_6 n43_a_ibm_1401_8 D n43_a_ibm_1401_7->n43_a_ibm_1401_8 n43_a_ibm_1401_10 N n43_a_ibm_1401_7->n43_a_ibm_1401_10 n43_a_ibm_1401_8->n43_a_ibm_1401_9 n43_a_ibm_1401_10->n43_a_ibm_1401_11 n43_a_ibm_1401_13 TO n43_a_ibm_1401_12->n43_a_ibm_1401_13 n43_a_ibm_1401_15 VB;_Tn_ n43_a_ibm_1401_12->n43_a_ibm_1401_15 n43_a_ibm_1401_17 NP-OB1 n43_a_ibm_1401_12->n43_a_ibm_1401_17 n43_a_ibm_1401_41 PP-NIM n43_a_ibm_1401_12->n43_a_ibm_1401_41 n43_a_ibm_1401_13->n43_a_ibm_1401_14 n43_a_ibm_1401_15->n43_a_ibm_1401_16 n43_a_ibm_1401_18 N n43_a_ibm_1401_17->n43_a_ibm_1401_18 n43_a_ibm_1401_20 IP-PPL n43_a_ibm_1401_17->n43_a_ibm_1401_20 n43_a_ibm_1401_18->n43_a_ibm_1401_19 n43_a_ibm_1401_21 NP-LGS n43_a_ibm_1401_20->n43_a_ibm_1401_21 n43_a_ibm_1401_23 VVN;_phr_Vn.pr_ n43_a_ibm_1401_20->n43_a_ibm_1401_23 n43_a_ibm_1401_25 PP-CLR n43_a_ibm_1401_20->n43_a_ibm_1401_25 n43_a_ibm_1401_21->n43_a_ibm_1401_22 n43_a_ibm_1401_23->n43_a_ibm_1401_24 n43_a_ibm_1401_26 P-ROLE n43_a_ibm_1401_25->n43_a_ibm_1401_26 n43_a_ibm_1401_28 NP n43_a_ibm_1401_25->n43_a_ibm_1401_28 n43_a_ibm_1401_26->n43_a_ibm_1401_27 n43_a_ibm_1401_29 N n43_a_ibm_1401_28->n43_a_ibm_1401_29 n43_a_ibm_1401_31 NLYR n43_a_ibm_1401_28->n43_a_ibm_1401_31 n43_a_ibm_1401_29->n43_a_ibm_1401_30 n43_a_ibm_1401_32 NLYR n43_a_ibm_1401_31->n43_a_ibm_1401_32 n43_a_ibm_1401_35 CONJP n43_a_ibm_1401_31->n43_a_ibm_1401_35 n43_a_ibm_1401_33 NS n43_a_ibm_1401_32->n43_a_ibm_1401_33 n43_a_ibm_1401_33->n43_a_ibm_1401_34 n43_a_ibm_1401_36 CONJ n43_a_ibm_1401_35->n43_a_ibm_1401_36 n43_a_ibm_1401_38 NLYR n43_a_ibm_1401_35->n43_a_ibm_1401_38 n43_a_ibm_1401_36->n43_a_ibm_1401_37 n43_a_ibm_1401_39 NS n43_a_ibm_1401_38->n43_a_ibm_1401_39 n43_a_ibm_1401_39->n43_a_ibm_1401_40 n43_a_ibm_1401_42 P-ROLE n43_a_ibm_1401_41->n43_a_ibm_1401_42 n43_a_ibm_1401_44 IP-PPL2 n43_a_ibm_1401_41->n43_a_ibm_1401_44 n43_a_ibm_1401_42->n43_a_ibm_1401_43 n43_a_ibm_1401_45 VAG;_Tn_ n43_a_ibm_1401_44->n43_a_ibm_1401_45 n43_a_ibm_1401_47 NP-OB1 n43_a_ibm_1401_44->n43_a_ibm_1401_47 n43_a_ibm_1401_45->n43_a_ibm_1401_46 n43_a_ibm_1401_48 D n43_a_ibm_1401_47->n43_a_ibm_1401_48 n43_a_ibm_1401_50 N n43_a_ibm_1401_47->n43_a_ibm_1401_50 n43_a_ibm_1401_48->n43_a_ibm_1401_49 n43_a_ibm_1401_50->n43_a_ibm_1401_51 n43_a_ibm_1401_52->n43_a_ibm_1401_53 
( (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))