TSPC 5_a_ibm

5_a_ibm_1401
Well - tested programming languages for communication with computers must accompany the systems.

arc(r_0005_0003__tested, r_0005_0001__Well, qual4).
arc(r_0005_0004__programming_r_0005_0005__languages, r_0005_0003__tested, attrib3).
arc(r_0005_0004__programming_r_0005_0005__languages, r_0005_0007__communication, r_0005_0006__for).
arc(r_0005_0007__communication, r_0005_0009__computers, r_0005_0008__with).
arc(r_0005_0010__must, r_0005_0011__accompany, scope).
arc(r_0005_0011__accompany, r_0005_0004__programming_r_0005_0005__languages, arg0).
arc(r_0005_0011__accompany, r_0005_0012__the_r_0005_0013__systems, arg1).

fof(formula,axiom,
    ? [R_0005_0001__WELL,R_0005_0003__TESTED,R_0005_0009__COMPUTERS,R_0005_0007__COMMUNICATION,R_0005_0004__PROGRAMMING_R_0005_0005__LANGUAGES,R_0005_0012__THE_R_0005_0013__SYSTEMS,R_0005_0010__MUST_R_0005_0011__ACCOMPANY] :
      ( r_0005_0001__Well(R_0005_0001__WELL)
      & r_0005_0009__computers(R_0005_0009__COMPUTERS)
      & r_0005_0012__the_r_0005_0013__systems(R_0005_0012__THE_R_0005_0013__SYSTEMS)
      & r_0005_0010__must_r_0005_0011__accompany(R_0005_0010__MUST_R_0005_0011__ACCOMPANY)
      & has_arg1(R_0005_0010__MUST_R_0005_0011__ACCOMPANY,R_0005_0012__THE_R_0005_0013__SYSTEMS)
      & has_arg0(R_0005_0010__MUST_R_0005_0011__ACCOMPANY,R_0005_0004__PROGRAMMING_R_0005_0005__LANGUAGES)
      & r_0005_0004__programming_r_0005_0005__languages(R_0005_0004__PROGRAMMING_R_0005_0005__LANGUAGES)
      & has_r_0005_0006__for(R_0005_0004__PROGRAMMING_R_0005_0005__LANGUAGES,R_0005_0007__COMMUNICATION)
      & r_0005_0007__communication(R_0005_0007__COMMUNICATION)
      & has_r_0005_0008__with(R_0005_0007__COMMUNICATION,R_0005_0009__COMPUTERS)
      & has_attrib3(R_0005_0004__PROGRAMMING_R_0005_0005__LANGUAGES,R_0005_0003__TESTED)
      & r_0005_0003__tested(R_0005_0003__TESTED)
      & has_qual4(R_0005_0003__TESTED,R_0005_0001__WELL) ) ).

( (IP-MAT (NP-SBJ;{PROGRAMMING_LANGUAGES} (ADJP (ADVP (ADV Well;{well}))
                                                (PUNC <hyphen>)
                                                (ADJ tested;{tested}))
                                          (N programming;{programming})
                                          (NS languages;{language})
                                          (PP (P-ROLE for;{for})
                                              (NP (N communication;{communication})
                                                  (PP (P-ROLE with;{with})
                                                      (NP (NS computers;{computer}))))))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_Tn_ accompany;{accompany})
                      (NP-OB1;{SYSTEMS} (D the;{the})
                                        (NS systems;{system})))
          (PUNC .))
  (ID 5_a_ibm_1401))