TSPC 59_a_ibm

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

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

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__nim).
arc(r_0059_0005__problems,r_0059_0009__language,r_0059_0006__in).
arc(r_0059_0009__language,r_0059_0007__familiar,attrib).
arc(r_0059_0009__language,r_0059_0008__algebraic,attrib).
arc(r_0059_0011__solution,r_0059_0013__the_r_0059_0014__computer,r_0059_0012__by).

fof(formula,axiom,
    ? [R_0059_0001__ENGINEERS,R_0059_0003__MATHEMATICIANS,R_0059_0002__AND,R_0059_0007__FAMILIAR,R_0059_0008__ALGEBRAIC,R_0059_0009__LANGUAGE,R_0059_0005__PROBLEMS,R_0059_0013__THE_R_0059_0014__COMPUTER,R_0059_0011__SOLUTION,R_0059_0004__STATE] :
      ( r_0059_0001__Engineers(R_0059_0001__ENGINEERS)
      & r_0059_0003__mathematicians(R_0059_0003__MATHEMATICIANS)
      & r_0059_0007__familiar(R_0059_0007__FAMILIAR)
      & r_0059_0008__algebraic(R_0059_0008__ALGEBRAIC)
      & r_0059_0013__the_r_0059_0014__computer(R_0059_0013__THE_R_0059_0014__COMPUTER)
      & r_0059_0004__state(R_0059_0004__STATE)
      & has_r_0059_0010__for__nim(R_0059_0004__STATE,R_0059_0011__SOLUTION)
      & r_0059_0011__solution(R_0059_0011__SOLUTION)
      & has_r_0059_0012__by(R_0059_0011__SOLUTION,R_0059_0013__THE_R_0059_0014__COMPUTER)
      & has_arg1(R_0059_0004__STATE,R_0059_0005__PROBLEMS)
      & r_0059_0005__problems(R_0059_0005__PROBLEMS)
      & has_r_0059_0006__in(R_0059_0005__PROBLEMS,R_0059_0009__LANGUAGE)
      & r_0059_0009__language(R_0059_0009__LANGUAGE)
      & has_attrib(R_0059_0009__LANGUAGE,R_0059_0008__ALGEBRAIC)
      & has_attrib(R_0059_0009__LANGUAGE,R_0059_0007__FAMILIAR)
      & has_arg0(R_0059_0004__STATE,R_0059_0002__AND)
      & r_0059_0002__and(R_0059_0002__AND)
      & has_conj2(R_0059_0002__AND,R_0059_0003__MATHEMATICIANS)
      & has_conj1(R_0059_0002__AND,R_0059_0001__ENGINEERS) ) ).