TSPC 25_a_ibm

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

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

fof(formula,axiom,
    ? [R_0025_0001__PROGRAMMERS,R_0025_0005__MORE,R_0025_0006__FAMILIAR,R_0025_0003__A_R_0025_0004__LANGUAGE,R_0025_0014__DETAILED,R_0025_0015__MACHINE_R_0025_0016__CODES,Z_000_25_A_IBM_1401_30,R_0025_0011__HAVING_R_0025_0012__TO_R_0025_0013__LEARN,R_0025_0009__RATHER,R_0025_0002__USE] :
      ( r_0025_0001__Programmers(R_0025_0001__PROGRAMMERS)
      & r_0025_0005__more(R_0025_0005__MORE)
      & r_0025_0014__detailed(R_0025_0014__DETAILED)
      & z_000_25_a_ibm_1401_30(Z_000_25_A_IBM_1401_30)
      & r_0025_0002__use(R_0025_0002__USE)
      & has_nim24(R_0025_0002__USE,R_0025_0009__RATHER)
      & r_0025_0009__rather(R_0025_0009__RATHER)
      & has_r_0025_0010__than(R_0025_0009__RATHER,R_0025_0011__HAVING_R_0025_0012__TO_R_0025_0013__LEARN)
      & r_0025_0011__having_r_0025_0012__to_r_0025_0013__learn(R_0025_0011__HAVING_R_0025_0012__TO_R_0025_0013__LEARN)
      & has_arg0(R_0025_0011__HAVING_R_0025_0012__TO_R_0025_0013__LEARN,Z_000_25_A_IBM_1401_30)
      & has_arg1(R_0025_0011__HAVING_R_0025_0012__TO_R_0025_0013__LEARN,R_0025_0015__MACHINE_R_0025_0016__CODES)
      & r_0025_0015__machine_r_0025_0016__codes(R_0025_0015__MACHINE_R_0025_0016__CODES)
      & has_attrib39(R_0025_0015__MACHINE_R_0025_0016__CODES,R_0025_0014__DETAILED)
      & has_arg1(R_0025_0002__USE,R_0025_0003__A_R_0025_0004__LANGUAGE)
      & r_0025_0003__a_r_0025_0004__language(R_0025_0003__A_R_0025_0004__LANGUAGE)
      & has_attrib12(R_0025_0003__A_R_0025_0004__LANGUAGE,R_0025_0006__FAMILIAR)
      & r_0025_0006__familiar(R_0025_0006__FAMILIAR)
      & has_qual13(R_0025_0006__FAMILIAR,R_0025_0005__MORE)
      & has_r_0025_0007__to(R_0025_0006__FAMILIAR,R_0025_0001__PROGRAMMERS)
      & has_arg0(R_0025_0002__USE,R_0025_0001__PROGRAMMERS) ) ).

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