25_a_ibm_1401
Programmers use a language more familiar to them rather than having to learn detailed machine codes.

%3 r_0025_0002__use use r_0025_0001__Programmers Programmers r_0025_0002__use->r_0025_0001__Programmers [arg0] r_0025_0003__a_r_0025_0004__language a language r_0025_0002__use->r_0025_0003__a_r_0025_0004__language [arg1] r_0025_0009__rather rather r_0025_0002__use->r_0025_0009__rather [nim] r_0025_0006__familiar familiar r_0025_0003__a_r_0025_0004__language->r_0025_0006__familiar [attrib] r_0025_0011__having having r_0025_0009__rather->r_0025_0011__having than r_0025_0006__familiar->r_0025_0001__Programmers to r_0025_0005__more more r_0025_0006__familiar->r_0025_0005__more [qual] r_0025_0012__to_r_0025_0013__learn to learn r_0025_0011__having->r_0025_0012__to_r_0025_0013__learn [scope] r_0025_0015__machine_r_0025_0016__codes machine codes r_0025_0012__to_r_0025_0013__learn->r_0025_0015__machine_r_0025_0016__codes [arg1] z_000_25_a_ibm_1401_30 r_0025_0012__to_r_0025_0013__learn->z_000_25_a_ibm_1401_30 [arg0] r_0025_0014__detailed detailed r_0025_0015__machine_r_0025_0016__codes->r_0025_0014__detailed [attrib]
arc(r_0025_0002__use, r_0025_0001__Programmers, arg0).
arc(r_0025_0002__use, r_0025_0003__a_r_0025_0004__language, arg1).
arc(r_0025_0002__use, r_0025_0009__rather, nim24).
arc(r_0025_0003__a_r_0025_0004__language, r_0025_0006__familiar, attrib12).
arc(r_0025_0006__familiar, r_0025_0001__Programmers, r_0025_0007__to).
arc(r_0025_0006__familiar, r_0025_0005__more, qual13).
arc(r_0025_0009__rather, r_0025_0011__having, r_0025_0010__than).
arc(r_0025_0011__having, r_0025_0012__to_r_0025_0013__learn, scope).
arc(r_0025_0012__to_r_0025_0013__learn, r_0025_0015__machine_r_0025_0016__codes, arg1).
arc(r_0025_0012__to_r_0025_0013__learn, z_000_25_a_ibm_1401_30, arg0).
arc(r_0025_0015__machine_r_0025_0016__codes, r_0025_0014__detailed, attrib39).



%3 r_0025_0002__use use r_0025_0001__Programmers Programmers r_0025_0002__use->r_0025_0001__Programmers [arg0] r_0025_0003__a_r_0025_0004__language a language r_0025_0002__use->r_0025_0003__a_r_0025_0004__language [arg1] r_0025_0009__rather rather r_0025_0002__use->r_0025_0009__rather [nim] r_0025_0006__familiar familiar r_0025_0003__a_r_0025_0004__language->r_0025_0006__familiar [attrib] r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn having to learn r_0025_0009__rather->r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn than r_0025_0006__familiar->r_0025_0001__Programmers to r_0025_0005__more more r_0025_0006__familiar->r_0025_0005__more [qual] r_0025_0015__machine_r_0025_0016__codes machine codes r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn->r_0025_0015__machine_r_0025_0016__codes [arg1] z_000_25_a_ibm_1401_30 r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn->z_000_25_a_ibm_1401_30 [arg0] r_0025_0014__detailed detailed r_0025_0015__machine_r_0025_0016__codes->r_0025_0014__detailed [attrib]
fof(formula,axiom,
    ? [R_25_2_USE,R_25_3_A_LANGUAGE,R_25_6_FAMILIAR,R_25_5_MORE,R_25_1_PROGRAMMERS,R_25_9_RATHER,R_25_11_HAVING_TO_LEARN,Z_25_A_IBM_1401_30,R_25_15_MACHINE_CODES,R_25_14_DETAILED] :
      ( more(R_25_5_MORE)
      & programmers(R_25_1_PROGRAMMERS)
      & detailed(R_25_14_DETAILED)
      & use(R_25_2_USE,R_25_1_PROGRAMMERS,R_25_3_A_LANGUAGE)
      & a_language(R_25_3_A_LANGUAGE)
      & attrib12(R_25_3_A_LANGUAGE,R_25_6_FAMILIAR)
      & familiar(R_25_6_FAMILIAR)
      & qual13(R_25_6_FAMILIAR,R_25_5_MORE)
      & to(R_25_6_FAMILIAR,R_25_1_PROGRAMMERS)
      & nim24(R_25_2_USE,R_25_9_RATHER)
      & rather(R_25_9_RATHER)
      & than(R_25_9_RATHER,R_25_11_HAVING_TO_LEARN)
      & having_to_learn(R_25_11_HAVING_TO_LEARN,Z_25_A_IBM_1401_30,R_25_15_MACHINE_CODES)
      & machine_codes(R_25_15_MACHINE_CODES)
      & attrib39(R_25_15_MACHINE_CODES,R_25_14_DETAILED) ) ).



n25_a_ibm_1401 n25_a_ibm_1401_4 Programmers n25_a_ibm_1401_6 use n25_a_ibm_1401_9 a n25_a_ibm_1401_11 language n25_a_ibm_1401_15 more n25_a_ibm_1401_17 familiar n25_a_ibm_1401_20 to n25_a_ibm_1401_23 them n25_a_ibm_1401_26 rather n25_a_ibm_1401_29 than n25_a_ibm_1401_32 having n25_a_ibm_1401_35 to n25_a_ibm_1401_37 learn n25_a_ibm_1401_41 detailed n25_a_ibm_1401_43 machine n25_a_ibm_1401_45 codes n25_a_ibm_1401_47 . n25_a_ibm_1401_1 IP-MAT n25_a_ibm_1401_2 NP-SBJ n25_a_ibm_1401_1->n25_a_ibm_1401_2 n25_a_ibm_1401_5 VBP;_Tn_ n25_a_ibm_1401_1->n25_a_ibm_1401_5 n25_a_ibm_1401_7 NP-OB1 n25_a_ibm_1401_1->n25_a_ibm_1401_7 n25_a_ibm_1401_24 ADVP-NIM n25_a_ibm_1401_1->n25_a_ibm_1401_24 n25_a_ibm_1401_46 PUNC n25_a_ibm_1401_1->n25_a_ibm_1401_46 n25_a_ibm_1401_3 NS n25_a_ibm_1401_2->n25_a_ibm_1401_3 n25_a_ibm_1401_3->n25_a_ibm_1401_4 n25_a_ibm_1401_5->n25_a_ibm_1401_6 n25_a_ibm_1401_8 D n25_a_ibm_1401_7->n25_a_ibm_1401_8 n25_a_ibm_1401_10 N n25_a_ibm_1401_7->n25_a_ibm_1401_10 n25_a_ibm_1401_12 ADJP n25_a_ibm_1401_7->n25_a_ibm_1401_12 n25_a_ibm_1401_8->n25_a_ibm_1401_9 n25_a_ibm_1401_10->n25_a_ibm_1401_11 n25_a_ibm_1401_13 ADVP n25_a_ibm_1401_12->n25_a_ibm_1401_13 n25_a_ibm_1401_16 ADJ n25_a_ibm_1401_12->n25_a_ibm_1401_16 n25_a_ibm_1401_18 PP n25_a_ibm_1401_12->n25_a_ibm_1401_18 n25_a_ibm_1401_14 ADVR n25_a_ibm_1401_13->n25_a_ibm_1401_14 n25_a_ibm_1401_14->n25_a_ibm_1401_15 n25_a_ibm_1401_16->n25_a_ibm_1401_17 n25_a_ibm_1401_19 P-ROLE n25_a_ibm_1401_18->n25_a_ibm_1401_19 n25_a_ibm_1401_21 NP n25_a_ibm_1401_18->n25_a_ibm_1401_21 n25_a_ibm_1401_19->n25_a_ibm_1401_20 n25_a_ibm_1401_22 PRO n25_a_ibm_1401_21->n25_a_ibm_1401_22 n25_a_ibm_1401_22->n25_a_ibm_1401_23 n25_a_ibm_1401_25 ADVR n25_a_ibm_1401_24->n25_a_ibm_1401_25 n25_a_ibm_1401_27 PP n25_a_ibm_1401_24->n25_a_ibm_1401_27 n25_a_ibm_1401_25->n25_a_ibm_1401_26 n25_a_ibm_1401_28 P-ROLE n25_a_ibm_1401_27->n25_a_ibm_1401_28 n25_a_ibm_1401_30 IP-PPL n25_a_ibm_1401_27->n25_a_ibm_1401_30 n25_a_ibm_1401_28->n25_a_ibm_1401_29 n25_a_ibm_1401_31 HAG;_cat_Vt_ n25_a_ibm_1401_30->n25_a_ibm_1401_31 n25_a_ibm_1401_33 IP-INF-CAT n25_a_ibm_1401_30->n25_a_ibm_1401_33 n25_a_ibm_1401_31->n25_a_ibm_1401_32 n25_a_ibm_1401_34 TO n25_a_ibm_1401_33->n25_a_ibm_1401_34 n25_a_ibm_1401_36 VB;_Tn_ n25_a_ibm_1401_33->n25_a_ibm_1401_36 n25_a_ibm_1401_38 NP-OB1 n25_a_ibm_1401_33->n25_a_ibm_1401_38 n25_a_ibm_1401_34->n25_a_ibm_1401_35 n25_a_ibm_1401_36->n25_a_ibm_1401_37 n25_a_ibm_1401_39 ADJP n25_a_ibm_1401_38->n25_a_ibm_1401_39 n25_a_ibm_1401_42 N n25_a_ibm_1401_38->n25_a_ibm_1401_42 n25_a_ibm_1401_44 NS n25_a_ibm_1401_38->n25_a_ibm_1401_44 n25_a_ibm_1401_40 ADJ n25_a_ibm_1401_39->n25_a_ibm_1401_40 n25_a_ibm_1401_40->n25_a_ibm_1401_41 n25_a_ibm_1401_42->n25_a_ibm_1401_43 n25_a_ibm_1401_44->n25_a_ibm_1401_45 n25_a_ibm_1401_46->n25_a_ibm_1401_47
( (IP-MAT (NP-SBJ;{PROGRAMMERS} (NS Programmers;{programmer}))
          (VBP;_Tn_ use;{use})
          (NP-OB1 (D a;{a})
                  (N language;{language})
                  (ADJP (ADVP (ADVR more;{more}))
                        (ADJ familiar;{familiar})
                        (PP (P-ROLE to;{to})
                            (NP;{PROGRAMMERS} (PRO them;{they})))))
          (ADVP-NIM (ADVR rather;{rather})
                    (PP (P-ROLE than;{than})
                        (IP-PPL (HAG;_cat_Vt_ having;{have})
                                (IP-INF-CAT (TO to;{to})
                                            (VB;_Tn_ learn;{learn})
                                            (NP-OB1 (ADJP (ADJ detailed;{detailed}))
                                                    (N machine;{machine})
                                                    (NS codes;{code}))))))
          (PUNC .))
  (ID 25_a_ibm_1401))