TSPC 5_a_ibm

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

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

arc(r_0005_0003__tested,r_0005_0001__Well,qual).
arc(r_0005_0004__programming_r_0005_0005__languages,r_0005_0003__tested,attrib).
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_attrib(R_0005_0004__PROGRAMMING_R_0005_0005__LANGUAGES,R_0005_0003__TESTED)
      & r_0005_0003__tested(R_0005_0003__TESTED)
      & has_qual(R_0005_0003__TESTED,R_0005_0001__WELL) ) ).