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_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_r_0005_0011__accompany must accompany r_0005_0010__must_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_0010__must_r_0005_0011__accompany->r_0005_0012__the_r_0005_0013__systems [arg1] 
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_6 Well n5_a_ibm_1401_8 - n5_a_ibm_1401_10 tested n5_a_ibm_1401_12 programming n5_a_ibm_1401_14 languages n5_a_ibm_1401_17 for n5_a_ibm_1401_20 communication n5_a_ibm_1401_23 with n5_a_ibm_1401_26 computers n5_a_ibm_1401_28 must n5_a_ibm_1401_31 accompany n5_a_ibm_1401_34 the n5_a_ibm_1401_36 systems n5_a_ibm_1401_38 . n5_a_ibm_1401_1 IP-MAT n5_a_ibm_1401_2 NP-SBJ n5_a_ibm_1401_1->n5_a_ibm_1401_2 n5_a_ibm_1401_27 MD;_cat_Vi_ n5_a_ibm_1401_1->n5_a_ibm_1401_27 n5_a_ibm_1401_29 IP-INF-CAT n5_a_ibm_1401_1->n5_a_ibm_1401_29 n5_a_ibm_1401_37 PUNC n5_a_ibm_1401_1->n5_a_ibm_1401_37 n5_a_ibm_1401_3 ADJP n5_a_ibm_1401_2->n5_a_ibm_1401_3 n5_a_ibm_1401_11 N n5_a_ibm_1401_2->n5_a_ibm_1401_11 n5_a_ibm_1401_13 NS n5_a_ibm_1401_2->n5_a_ibm_1401_13 n5_a_ibm_1401_15 PP n5_a_ibm_1401_2->n5_a_ibm_1401_15 n5_a_ibm_1401_4 ADVP n5_a_ibm_1401_3->n5_a_ibm_1401_4 n5_a_ibm_1401_7 PUNC n5_a_ibm_1401_3->n5_a_ibm_1401_7 n5_a_ibm_1401_9 ADJ n5_a_ibm_1401_3->n5_a_ibm_1401_9 n5_a_ibm_1401_5 ADV n5_a_ibm_1401_4->n5_a_ibm_1401_5 n5_a_ibm_1401_5->n5_a_ibm_1401_6 n5_a_ibm_1401_7->n5_a_ibm_1401_8 n5_a_ibm_1401_9->n5_a_ibm_1401_10 n5_a_ibm_1401_11->n5_a_ibm_1401_12 n5_a_ibm_1401_13->n5_a_ibm_1401_14 n5_a_ibm_1401_16 P-ROLE n5_a_ibm_1401_15->n5_a_ibm_1401_16 n5_a_ibm_1401_18 NP n5_a_ibm_1401_15->n5_a_ibm_1401_18 n5_a_ibm_1401_16->n5_a_ibm_1401_17 n5_a_ibm_1401_19 N n5_a_ibm_1401_18->n5_a_ibm_1401_19 n5_a_ibm_1401_21 PP n5_a_ibm_1401_18->n5_a_ibm_1401_21 n5_a_ibm_1401_19->n5_a_ibm_1401_20 n5_a_ibm_1401_22 P-ROLE n5_a_ibm_1401_21->n5_a_ibm_1401_22 n5_a_ibm_1401_24 NP n5_a_ibm_1401_21->n5_a_ibm_1401_24 n5_a_ibm_1401_22->n5_a_ibm_1401_23 n5_a_ibm_1401_25 NS n5_a_ibm_1401_24->n5_a_ibm_1401_25 n5_a_ibm_1401_25->n5_a_ibm_1401_26 n5_a_ibm_1401_27->n5_a_ibm_1401_28 n5_a_ibm_1401_30 VB;_Tn_ n5_a_ibm_1401_29->n5_a_ibm_1401_30 n5_a_ibm_1401_32 NP-OB1 n5_a_ibm_1401_29->n5_a_ibm_1401_32 n5_a_ibm_1401_30->n5_a_ibm_1401_31 n5_a_ibm_1401_33 D n5_a_ibm_1401_32->n5_a_ibm_1401_33 n5_a_ibm_1401_35 NS n5_a_ibm_1401_32->n5_a_ibm_1401_35 n5_a_ibm_1401_33->n5_a_ibm_1401_34 n5_a_ibm_1401_35->n5_a_ibm_1401_36 n5_a_ibm_1401_37->n5_a_ibm_1401_38 
( (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))