Context                Previous, Next                Top


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_0015__machine_r_0025_0016__codes machine codes r_0025_0014__detailed detailed r_0025_0015__machine_r_0025_0016__codes->r_0025_0014__detailed [attrib] r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn having to learn 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_0009__rather rather r_0025_0009__rather->r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn than r_0025_0006__familiar familiar r_0025_0005__more more r_0025_0006__familiar->r_0025_0005__more [qual] r_0025_0001__Programmers Programmers r_0025_0006__familiar->r_0025_0001__Programmers to r_0025_0003__a_r_0025_0004__language a language r_0025_0003__a_r_0025_0004__language->r_0025_0006__familiar [attrib] r_0025_0002__use use r_0025_0002__use->r_0025_0009__rather [nim] r_0025_0002__use->r_0025_0001__Programmers [arg0] r_0025_0002__use->r_0025_0003__a_r_0025_0004__language [arg1] 
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__1_1_1_1 Programmers n25_a_ibm_1401__1_2_1 use n25_a_ibm_1401__1_3_1_1 a n25_a_ibm_1401__1_3_2_1 language n25_a_ibm_1401__1_3_3_1_1_1 more n25_a_ibm_1401__1_3_3_2_1 familiar n25_a_ibm_1401__1_3_3_3_1_1 to n25_a_ibm_1401__1_3_3_3_2_1_1 them n25_a_ibm_1401__1_4_1_1 rather n25_a_ibm_1401__1_4_2_1_1 than n25_a_ibm_1401__1_4_2_2_1_1 having n25_a_ibm_1401__1_4_2_2_2_1_1 to n25_a_ibm_1401__1_4_2_2_2_2_1 learn n25_a_ibm_1401__1_4_2_2_2_3_1_1_1 detailed n25_a_ibm_1401__1_4_2_2_2_3_2_1 machine n25_a_ibm_1401__1_4_2_2_2_3_3_1 codes n25_a_ibm_1401__1_5_1 . n25_a_ibm_1401__1 IP-MAT n25_a_ibm_1401__1_1 NP-SBJ n25_a_ibm_1401__1->n25_a_ibm_1401__1_1 n25_a_ibm_1401__1_2 VBP;_Tn_ n25_a_ibm_1401__1->n25_a_ibm_1401__1_2 n25_a_ibm_1401__1_3 NP-OB1 n25_a_ibm_1401__1->n25_a_ibm_1401__1_3 n25_a_ibm_1401__1_4 ADVP-NIM n25_a_ibm_1401__1->n25_a_ibm_1401__1_4 n25_a_ibm_1401__1_5 PUNC n25_a_ibm_1401__1->n25_a_ibm_1401__1_5 n25_a_ibm_1401__1_1_1 NS n25_a_ibm_1401__1_1->n25_a_ibm_1401__1_1_1 n25_a_ibm_1401__1_1_1->n25_a_ibm_1401__1_1_1_1 n25_a_ibm_1401__1_2->n25_a_ibm_1401__1_2_1 n25_a_ibm_1401__1_3_1 D n25_a_ibm_1401__1_3->n25_a_ibm_1401__1_3_1 n25_a_ibm_1401__1_3_2 N n25_a_ibm_1401__1_3->n25_a_ibm_1401__1_3_2 n25_a_ibm_1401__1_3_3 ADJP n25_a_ibm_1401__1_3->n25_a_ibm_1401__1_3_3 n25_a_ibm_1401__1_3_1->n25_a_ibm_1401__1_3_1_1 n25_a_ibm_1401__1_3_2->n25_a_ibm_1401__1_3_2_1 n25_a_ibm_1401__1_3_3_1 ADVP n25_a_ibm_1401__1_3_3->n25_a_ibm_1401__1_3_3_1 n25_a_ibm_1401__1_3_3_2 ADJ n25_a_ibm_1401__1_3_3->n25_a_ibm_1401__1_3_3_2 n25_a_ibm_1401__1_3_3_3 PP n25_a_ibm_1401__1_3_3->n25_a_ibm_1401__1_3_3_3 n25_a_ibm_1401__1_3_3_1_1 ADVR n25_a_ibm_1401__1_3_3_1->n25_a_ibm_1401__1_3_3_1_1 n25_a_ibm_1401__1_3_3_1_1->n25_a_ibm_1401__1_3_3_1_1_1 n25_a_ibm_1401__1_3_3_2->n25_a_ibm_1401__1_3_3_2_1 n25_a_ibm_1401__1_3_3_3_1 P-ROLE n25_a_ibm_1401__1_3_3_3->n25_a_ibm_1401__1_3_3_3_1 n25_a_ibm_1401__1_3_3_3_2 NP n25_a_ibm_1401__1_3_3_3->n25_a_ibm_1401__1_3_3_3_2 n25_a_ibm_1401__1_3_3_3_1->n25_a_ibm_1401__1_3_3_3_1_1 n25_a_ibm_1401__1_3_3_3_2_1 PRO n25_a_ibm_1401__1_3_3_3_2->n25_a_ibm_1401__1_3_3_3_2_1 n25_a_ibm_1401__1_3_3_3_2_1->n25_a_ibm_1401__1_3_3_3_2_1_1 n25_a_ibm_1401__1_4_1 ADVR n25_a_ibm_1401__1_4->n25_a_ibm_1401__1_4_1 n25_a_ibm_1401__1_4_2 PP n25_a_ibm_1401__1_4->n25_a_ibm_1401__1_4_2 n25_a_ibm_1401__1_4_1->n25_a_ibm_1401__1_4_1_1 n25_a_ibm_1401__1_4_2_1 P-ROLE n25_a_ibm_1401__1_4_2->n25_a_ibm_1401__1_4_2_1 n25_a_ibm_1401__1_4_2_2 IP-PPL3 n25_a_ibm_1401__1_4_2->n25_a_ibm_1401__1_4_2_2 n25_a_ibm_1401__1_4_2_1->n25_a_ibm_1401__1_4_2_1_1 n25_a_ibm_1401__1_4_2_2_1 HAG;_cat_Vt_ n25_a_ibm_1401__1_4_2_2->n25_a_ibm_1401__1_4_2_2_1 n25_a_ibm_1401__1_4_2_2_2 IP-INF-CAT n25_a_ibm_1401__1_4_2_2->n25_a_ibm_1401__1_4_2_2_2 n25_a_ibm_1401__1_4_2_2_1->n25_a_ibm_1401__1_4_2_2_1_1 n25_a_ibm_1401__1_4_2_2_2_1 TO n25_a_ibm_1401__1_4_2_2_2->n25_a_ibm_1401__1_4_2_2_2_1 n25_a_ibm_1401__1_4_2_2_2_2 VB;_Tn_ n25_a_ibm_1401__1_4_2_2_2->n25_a_ibm_1401__1_4_2_2_2_2 n25_a_ibm_1401__1_4_2_2_2_3 NP-OB1 n25_a_ibm_1401__1_4_2_2_2->n25_a_ibm_1401__1_4_2_2_2_3 n25_a_ibm_1401__1_4_2_2_2_1->n25_a_ibm_1401__1_4_2_2_2_1_1 n25_a_ibm_1401__1_4_2_2_2_2->n25_a_ibm_1401__1_4_2_2_2_2_1 n25_a_ibm_1401__1_4_2_2_2_3_1 ADJP n25_a_ibm_1401__1_4_2_2_2_3->n25_a_ibm_1401__1_4_2_2_2_3_1 n25_a_ibm_1401__1_4_2_2_2_3_2 N n25_a_ibm_1401__1_4_2_2_2_3->n25_a_ibm_1401__1_4_2_2_2_3_2 n25_a_ibm_1401__1_4_2_2_2_3_3 NS n25_a_ibm_1401__1_4_2_2_2_3->n25_a_ibm_1401__1_4_2_2_2_3_3 n25_a_ibm_1401__1_4_2_2_2_3_1_1 ADJ n25_a_ibm_1401__1_4_2_2_2_3_1->n25_a_ibm_1401__1_4_2_2_2_3_1_1 n25_a_ibm_1401__1_4_2_2_2_3_1_1->n25_a_ibm_1401__1_4_2_2_2_3_1_1_1 n25_a_ibm_1401__1_4_2_2_2_3_2->n25_a_ibm_1401__1_4_2_2_2_3_2_1 n25_a_ibm_1401__1_4_2_2_2_3_3->n25_a_ibm_1401__1_4_2_2_2_3_3_1 n25_a_ibm_1401__1_5->n25_a_ibm_1401__1_5_1 
( (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-PPL3 (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))