Context                Previous, Next                Top


59_a_ibm_1401
Engineers and mathematicians state problems in familiar algebraic language for solution by the computer.

%3 r_0059_0002__and and r_0059_0001__Engineers Engineers r_0059_0002__and->r_0059_0001__Engineers [conj1] r_0059_0003__mathematicians mathematicians r_0059_0002__and->r_0059_0003__mathematicians [conj2] r_0059_0004__state state r_0059_0004__state->r_0059_0002__and [arg0] r_0059_0005__problems problems r_0059_0004__state->r_0059_0005__problems [arg1] r_0059_0011__solution solution r_0059_0004__state->r_0059_0011__solution for [nim] r_0059_0009__language language r_0059_0005__problems->r_0059_0009__language in r_0059_0013__the_r_0059_0014__computer the computer r_0059_0011__solution->r_0059_0013__the_r_0059_0014__computer by r_0059_0007__familiar familiar r_0059_0009__language->r_0059_0007__familiar [attrib] r_0059_0008__algebraic algebraic r_0059_0009__language->r_0059_0008__algebraic [attrib] 
arc(r_0059_0002__and, r_0059_0001__Engineers, conj1).
arc(r_0059_0002__and, r_0059_0003__mathematicians, conj2).
arc(r_0059_0004__state, r_0059_0002__and, arg0).
arc(r_0059_0004__state, r_0059_0005__problems, arg1).
arc(r_0059_0004__state, r_0059_0011__solution, r_0059_0010__for_nim33).
arc(r_0059_0005__problems, r_0059_0009__language, r_0059_0006__in).
arc(r_0059_0009__language, r_0059_0007__familiar, attrib22).
arc(r_0059_0009__language, r_0059_0008__algebraic, attrib25).
arc(r_0059_0011__solution, r_0059_0013__the_r_0059_0014__computer, r_0059_0012__by).


%3 r_0059_0002__and and r_0059_0001__Engineers Engineers r_0059_0002__and->r_0059_0001__Engineers [conj1] r_0059_0003__mathematicians mathematicians r_0059_0002__and->r_0059_0003__mathematicians [conj2] r_0059_0004__state state r_0059_0004__state->r_0059_0002__and [arg0] r_0059_0005__problems problems r_0059_0004__state->r_0059_0005__problems [arg1] r_0059_0011__solution solution r_0059_0004__state->r_0059_0011__solution for [nim] r_0059_0009__language language r_0059_0005__problems->r_0059_0009__language in r_0059_0013__the_r_0059_0014__computer the computer r_0059_0011__solution->r_0059_0013__the_r_0059_0014__computer by r_0059_0007__familiar familiar r_0059_0009__language->r_0059_0007__familiar [attrib] r_0059_0008__algebraic algebraic r_0059_0009__language->r_0059_0008__algebraic [attrib] 
fof(formula,axiom,
    ? [R_59_4_STATE,R_59_2_AND,R_59_1_ENGINEERS,R_59_3_MATHEMATICIANS,R_59_5_PROBLEMS,R_59_9_LANGUAGE,R_59_7_FAMILIAR,R_59_8_ALGEBRAIC,R_59_11_SOLUTION,R_59_13_THE_COMPUTER] :
      ( engineers(R_59_1_ENGINEERS)
      & mathematicians(R_59_3_MATHEMATICIANS)
      & familiar(R_59_7_FAMILIAR)
      & algebraic(R_59_8_ALGEBRAIC)
      & the_computer(R_59_13_THE_COMPUTER)
      & state(R_59_4_STATE,R_59_2_AND,R_59_5_PROBLEMS)
      & and(R_59_2_AND)
      & conj1(R_59_2_AND,R_59_1_ENGINEERS)
      & conj2(R_59_2_AND,R_59_3_MATHEMATICIANS)
      & problems(R_59_5_PROBLEMS)
      & in(R_59_5_PROBLEMS,R_59_9_LANGUAGE)
      & language(R_59_9_LANGUAGE)
      & attrib22(R_59_9_LANGUAGE,R_59_7_FAMILIAR)
      & attrib25(R_59_9_LANGUAGE,R_59_8_ALGEBRAIC)
      & for_nim33(R_59_4_STATE,R_59_11_SOLUTION)
      & solution(R_59_11_SOLUTION)
      & by(R_59_11_SOLUTION,R_59_13_THE_COMPUTER) ) ).


n59_a_ibm_1401 n59_a_ibm_1401_6 Engineers n59_a_ibm_1401_9 and n59_a_ibm_1401_12 mathematicians n59_a_ibm_1401_14 state n59_a_ibm_1401_17 problems n59_a_ibm_1401_20 in n59_a_ibm_1401_24 familiar n59_a_ibm_1401_27 algebraic n59_a_ibm_1401_29 language n59_a_ibm_1401_32 for n59_a_ibm_1401_35 solution n59_a_ibm_1401_38 by n59_a_ibm_1401_41 the n59_a_ibm_1401_43 computer n59_a_ibm_1401_45 . n59_a_ibm_1401_1 IP-MAT n59_a_ibm_1401_2 NP-SBJ n59_a_ibm_1401_1->n59_a_ibm_1401_2 n59_a_ibm_1401_13 VBP;_Tn_ n59_a_ibm_1401_1->n59_a_ibm_1401_13 n59_a_ibm_1401_15 NP-OB1 n59_a_ibm_1401_1->n59_a_ibm_1401_15 n59_a_ibm_1401_30 PP-NIM n59_a_ibm_1401_1->n59_a_ibm_1401_30 n59_a_ibm_1401_44 PUNC n59_a_ibm_1401_1->n59_a_ibm_1401_44 n59_a_ibm_1401_3 NLYR n59_a_ibm_1401_2->n59_a_ibm_1401_3 n59_a_ibm_1401_4 NLYR n59_a_ibm_1401_3->n59_a_ibm_1401_4 n59_a_ibm_1401_7 CONJP n59_a_ibm_1401_3->n59_a_ibm_1401_7 n59_a_ibm_1401_5 NS n59_a_ibm_1401_4->n59_a_ibm_1401_5 n59_a_ibm_1401_5->n59_a_ibm_1401_6 n59_a_ibm_1401_8 CONJ n59_a_ibm_1401_7->n59_a_ibm_1401_8 n59_a_ibm_1401_10 NLYR n59_a_ibm_1401_7->n59_a_ibm_1401_10 n59_a_ibm_1401_8->n59_a_ibm_1401_9 n59_a_ibm_1401_11 NS n59_a_ibm_1401_10->n59_a_ibm_1401_11 n59_a_ibm_1401_11->n59_a_ibm_1401_12 n59_a_ibm_1401_13->n59_a_ibm_1401_14 n59_a_ibm_1401_16 NS n59_a_ibm_1401_15->n59_a_ibm_1401_16 n59_a_ibm_1401_18 PP n59_a_ibm_1401_15->n59_a_ibm_1401_18 n59_a_ibm_1401_16->n59_a_ibm_1401_17 n59_a_ibm_1401_19 P-ROLE n59_a_ibm_1401_18->n59_a_ibm_1401_19 n59_a_ibm_1401_21 NP n59_a_ibm_1401_18->n59_a_ibm_1401_21 n59_a_ibm_1401_19->n59_a_ibm_1401_20 n59_a_ibm_1401_22 ADJP n59_a_ibm_1401_21->n59_a_ibm_1401_22 n59_a_ibm_1401_25 ADJP n59_a_ibm_1401_21->n59_a_ibm_1401_25 n59_a_ibm_1401_28 N n59_a_ibm_1401_21->n59_a_ibm_1401_28 n59_a_ibm_1401_23 ADJ n59_a_ibm_1401_22->n59_a_ibm_1401_23 n59_a_ibm_1401_23->n59_a_ibm_1401_24 n59_a_ibm_1401_26 ADJ n59_a_ibm_1401_25->n59_a_ibm_1401_26 n59_a_ibm_1401_26->n59_a_ibm_1401_27 n59_a_ibm_1401_28->n59_a_ibm_1401_29 n59_a_ibm_1401_31 P-ROLE n59_a_ibm_1401_30->n59_a_ibm_1401_31 n59_a_ibm_1401_33 NP n59_a_ibm_1401_30->n59_a_ibm_1401_33 n59_a_ibm_1401_31->n59_a_ibm_1401_32 n59_a_ibm_1401_34 N n59_a_ibm_1401_33->n59_a_ibm_1401_34 n59_a_ibm_1401_36 PP n59_a_ibm_1401_33->n59_a_ibm_1401_36 n59_a_ibm_1401_34->n59_a_ibm_1401_35 n59_a_ibm_1401_37 P-ROLE n59_a_ibm_1401_36->n59_a_ibm_1401_37 n59_a_ibm_1401_39 NP n59_a_ibm_1401_36->n59_a_ibm_1401_39 n59_a_ibm_1401_37->n59_a_ibm_1401_38 n59_a_ibm_1401_40 D n59_a_ibm_1401_39->n59_a_ibm_1401_40 n59_a_ibm_1401_42 N n59_a_ibm_1401_39->n59_a_ibm_1401_42 n59_a_ibm_1401_40->n59_a_ibm_1401_41 n59_a_ibm_1401_42->n59_a_ibm_1401_43 n59_a_ibm_1401_44->n59_a_ibm_1401_45 
( (IP-MAT (NP-SBJ (NLYR (NLYR (NS Engineers;{engineer}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NS mathematicians;{mathematician})))))
          (VBP;_Tn_ state;{state})
          (NP-OB1 (NS problems;{problem})
                  (PP (P-ROLE in;{in})
                      (NP (ADJP (ADJ familiar;{familiar}))
                          (ADJP (ADJ algebraic;{algebraic}))
                          (N language;{language}))))
          (PP-NIM (P-ROLE for;{for})
                  (NP (N solution;{solution})
                      (PP (P-ROLE by;{by})
                          (NP (D the;{the})
                              (N computer;{computer})))))
          (PUNC .))
  (ID 59_a_ibm_1401))