TSPC 25_a_ibm

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

( (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-ADV (IP-PPL-CAT (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))

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,nim).
arc(r_0025_0003__a_r_0025_0004__language,r_0025_0006__familiar,attrib).
arc(r_0025_0006__familiar,r_0025_0001__Programmers,r_0025_0007__to).
arc(r_0025_0006__familiar,r_0025_0005__more,qual).
arc(r_0025_0009__rather,z_0025_5016,r_0025_0010__than).
arc(r_0025_0011__having,r_0025_0013__learn,scope).
arc(r_0025_0013__learn,r_0025_0015__machine_r_0025_0016__codes,arg1).
arc(r_0025_0013__learn,z_0025_5009,arg0).
arc(r_0025_0015__machine_r_0025_0016__codes,r_0025_0014__detailed,attrib).
arc(z_0025_5016,r_0025_0011__having,scope).

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_0025_5009,Z_0025_5016_R_0025_0011__HAVING_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_0025_5009(Z_0025_5009)
      & r_0025_0002__use(R_0025_0002__USE)
      & has_nim(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,Z_0025_5016_R_0025_0011__HAVING_R_0025_0013__LEARN)
      & z_0025_5016_r_0025_0011__having_r_0025_0013__learn(Z_0025_5016_R_0025_0011__HAVING_R_0025_0013__LEARN)
      & has_arg0(Z_0025_5016_R_0025_0011__HAVING_R_0025_0013__LEARN,Z_0025_5009)
      & has_arg1(Z_0025_5016_R_0025_0011__HAVING_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_attrib(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_attrib(R_0025_0003__A_R_0025_0004__LANGUAGE,R_0025_0006__FAMILIAR)
      & r_0025_0006__familiar(R_0025_0006__FAMILIAR)
      & has_qual(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) ) ).