Context                Previous, Next                Top


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

%3 r_0005_0003__tested tested r_0005_0001__Well Well r_0005_0003__tested->r_0005_0001__Well [qual] r_0005_0004__programming_r_0005_0005__languages programming languages r_0005_0004__programming_r_0005_0005__languages->r_0005_0003__tested [attrib] r_0005_0007__communication communication r_0005_0004__programming_r_0005_0005__languages->r_0005_0007__communication for r_0005_0009__computers computers r_0005_0007__communication->r_0005_0009__computers with r_0005_0010__must must r_0005_0011__accompany accompany r_0005_0010__must->r_0005_0011__accompany [scope] r_0005_0011__accompany->r_0005_0004__programming_r_0005_0005__languages [arg0] r_0005_0012__the_r_0005_0013__systems the systems r_0005_0011__accompany->r_0005_0012__the_r_0005_0013__systems [arg1] 
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).


%3 r_0005_0010__must_r_0005_0011__accompany must accompany r_0005_0012__the_r_0005_0013__systems the systems r_0005_0010__must_r_0005_0011__accompany->r_0005_0012__the_r_0005_0013__systems [arg1] r_0005_0004__programming_r_0005_0005__languages programming languages r_0005_0010__must_r_0005_0011__accompany->r_0005_0004__programming_r_0005_0005__languages [arg0] r_0005_0007__communication communication r_0005_0004__programming_r_0005_0005__languages->r_0005_0007__communication for r_0005_0003__tested tested r_0005_0004__programming_r_0005_0005__languages->r_0005_0003__tested [attrib] r_0005_0009__computers computers r_0005_0007__communication->r_0005_0009__computers with r_0005_0001__Well Well r_0005_0003__tested->r_0005_0001__Well [qual] 
fof(formula,axiom,
    ? [R_5_10_MUST_ACCOMPANY,R_5_4_PROGRAMMING_LANGUAGES,R_5_3_TESTED,R_5_1_WELL,R_5_7_COMMUNICATION,R_5_9_COMPUTERS,R_5_12_THE_SYSTEMS] :
      ( well(R_5_1_WELL)
      & computers(R_5_9_COMPUTERS)
      & the_systems(R_5_12_THE_SYSTEMS)
      & must_accompany(R_5_10_MUST_ACCOMPANY,R_5_4_PROGRAMMING_LANGUAGES,R_5_12_THE_SYSTEMS)
      & programming_languages(R_5_4_PROGRAMMING_LANGUAGES)
      & attrib3(R_5_4_PROGRAMMING_LANGUAGES,R_5_3_TESTED)
      & tested(R_5_3_TESTED)
      & qual4(R_5_3_TESTED,R_5_1_WELL)
      & for(R_5_4_PROGRAMMING_LANGUAGES,R_5_7_COMMUNICATION)
      & communication(R_5_7_COMMUNICATION)
      & with(R_5_7_COMMUNICATION,R_5_9_COMPUTERS) ) ).


n5_a_ibm_1401 n5_a_ibm_1401__1_1_1_1_1_1 Well n5_a_ibm_1401__1_1_1_2_1 - n5_a_ibm_1401__1_1_1_3_1 tested n5_a_ibm_1401__1_1_2_1 programming n5_a_ibm_1401__1_1_3_1 languages n5_a_ibm_1401__1_1_4_1_1 for n5_a_ibm_1401__1_1_4_2_1_1 communication n5_a_ibm_1401__1_1_4_2_2_1_1 with n5_a_ibm_1401__1_1_4_2_2_2_1_1 computers n5_a_ibm_1401__1_2_1 must n5_a_ibm_1401__1_3_1_1 accompany n5_a_ibm_1401__1_3_2_1_1 the n5_a_ibm_1401__1_3_2_2_1 systems n5_a_ibm_1401__1_4_1 . n5_a_ibm_1401__1 IP-MAT n5_a_ibm_1401__1_1 NP-SBJ n5_a_ibm_1401__1->n5_a_ibm_1401__1_1 n5_a_ibm_1401__1_2 MD;_cat_Vi_ n5_a_ibm_1401__1->n5_a_ibm_1401__1_2 n5_a_ibm_1401__1_3 IP-INF-CAT n5_a_ibm_1401__1->n5_a_ibm_1401__1_3 n5_a_ibm_1401__1_4 PUNC n5_a_ibm_1401__1->n5_a_ibm_1401__1_4 n5_a_ibm_1401__1_1_1 ADJP n5_a_ibm_1401__1_1->n5_a_ibm_1401__1_1_1 n5_a_ibm_1401__1_1_2 N n5_a_ibm_1401__1_1->n5_a_ibm_1401__1_1_2 n5_a_ibm_1401__1_1_3 NS n5_a_ibm_1401__1_1->n5_a_ibm_1401__1_1_3 n5_a_ibm_1401__1_1_4 PP n5_a_ibm_1401__1_1->n5_a_ibm_1401__1_1_4 n5_a_ibm_1401__1_1_1_1 ADVP n5_a_ibm_1401__1_1_1->n5_a_ibm_1401__1_1_1_1 n5_a_ibm_1401__1_1_1_2 PUNC n5_a_ibm_1401__1_1_1->n5_a_ibm_1401__1_1_1_2 n5_a_ibm_1401__1_1_1_3 ADJ n5_a_ibm_1401__1_1_1->n5_a_ibm_1401__1_1_1_3 n5_a_ibm_1401__1_1_1_1_1 ADV n5_a_ibm_1401__1_1_1_1->n5_a_ibm_1401__1_1_1_1_1 n5_a_ibm_1401__1_1_1_1_1->n5_a_ibm_1401__1_1_1_1_1_1 n5_a_ibm_1401__1_1_1_2->n5_a_ibm_1401__1_1_1_2_1 n5_a_ibm_1401__1_1_1_3->n5_a_ibm_1401__1_1_1_3_1 n5_a_ibm_1401__1_1_2->n5_a_ibm_1401__1_1_2_1 n5_a_ibm_1401__1_1_3->n5_a_ibm_1401__1_1_3_1 n5_a_ibm_1401__1_1_4_1 P-ROLE n5_a_ibm_1401__1_1_4->n5_a_ibm_1401__1_1_4_1 n5_a_ibm_1401__1_1_4_2 NP n5_a_ibm_1401__1_1_4->n5_a_ibm_1401__1_1_4_2 n5_a_ibm_1401__1_1_4_1->n5_a_ibm_1401__1_1_4_1_1 n5_a_ibm_1401__1_1_4_2_1 N n5_a_ibm_1401__1_1_4_2->n5_a_ibm_1401__1_1_4_2_1 n5_a_ibm_1401__1_1_4_2_2 PP n5_a_ibm_1401__1_1_4_2->n5_a_ibm_1401__1_1_4_2_2 n5_a_ibm_1401__1_1_4_2_1->n5_a_ibm_1401__1_1_4_2_1_1 n5_a_ibm_1401__1_1_4_2_2_1 P-ROLE n5_a_ibm_1401__1_1_4_2_2->n5_a_ibm_1401__1_1_4_2_2_1 n5_a_ibm_1401__1_1_4_2_2_2 NP n5_a_ibm_1401__1_1_4_2_2->n5_a_ibm_1401__1_1_4_2_2_2 n5_a_ibm_1401__1_1_4_2_2_1->n5_a_ibm_1401__1_1_4_2_2_1_1 n5_a_ibm_1401__1_1_4_2_2_2_1 NS n5_a_ibm_1401__1_1_4_2_2_2->n5_a_ibm_1401__1_1_4_2_2_2_1 n5_a_ibm_1401__1_1_4_2_2_2_1->n5_a_ibm_1401__1_1_4_2_2_2_1_1 n5_a_ibm_1401__1_2->n5_a_ibm_1401__1_2_1 n5_a_ibm_1401__1_3_1 VB;_Tn_ n5_a_ibm_1401__1_3->n5_a_ibm_1401__1_3_1 n5_a_ibm_1401__1_3_2 NP-OB1 n5_a_ibm_1401__1_3->n5_a_ibm_1401__1_3_2 n5_a_ibm_1401__1_3_1->n5_a_ibm_1401__1_3_1_1 n5_a_ibm_1401__1_3_2_1 D n5_a_ibm_1401__1_3_2->n5_a_ibm_1401__1_3_2_1 n5_a_ibm_1401__1_3_2_2 NS n5_a_ibm_1401__1_3_2->n5_a_ibm_1401__1_3_2_2 n5_a_ibm_1401__1_3_2_1->n5_a_ibm_1401__1_3_2_1_1 n5_a_ibm_1401__1_3_2_2->n5_a_ibm_1401__1_3_2_2_1 n5_a_ibm_1401__1_4->n5_a_ibm_1401__1_4_1 
( (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))