TSPC 23_a_ibm

23_a_ibm_1401
Simplified programming routines allow programmers to write more instructions in less time.

( (IP-MAT (NP-SBJ (ADJP (ADJ Simplified;{simplified}))
                  (N programming;{programming})
                  (NS routines;{routine}))
          (VBP;_Tnt_ allow;{allow})
          (NP-DOB1 (NS programmers;{programmer}))
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ write;{write})
                      (NP-OB1 (ADJP (ADJR more;{more}))
                              (NS instructions;{instruction}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (ADJP (ADJ less;{less}))
                                  (N time;{time}))))
          (PUNC .))
  (ID 23_a_ibm_1401))

arc(r_0023_0002__programming_r_0023_0003__routines,r_0023_0001__Simplified,attrib).
arc(r_0023_0004__allow,r_0023_0002__programming_r_0023_0003__routines,arg0).
arc(r_0023_0004__allow,r_0023_0007__write,arg1).
arc(r_0023_0007__write,r_0023_0005__programmers,arg0).
arc(r_0023_0007__write,r_0023_0009__instructions,arg1).
arc(r_0023_0007__write,r_0023_0012__time,r_0023_0010__in__nim).
arc(r_0023_0009__instructions,r_0023_0008__more,attrib).
arc(r_0023_0012__time,r_0023_0011__less,attrib).

fof(formula,axiom,
    ? [R_0023_0001__SIMPLIFIED,R_0023_0002__PROGRAMMING_R_0023_0003__ROUTINES,R_0023_0005__PROGRAMMERS,R_0023_0008__MORE,R_0023_0009__INSTRUCTIONS,R_0023_0011__LESS,R_0023_0012__TIME,R_0023_0007__WRITE,R_0023_0004__ALLOW] :
      ( r_0023_0001__Simplified(R_0023_0001__SIMPLIFIED)
      & r_0023_0005__programmers(R_0023_0005__PROGRAMMERS)
      & r_0023_0008__more(R_0023_0008__MORE)
      & r_0023_0011__less(R_0023_0011__LESS)
      & r_0023_0004__allow(R_0023_0004__ALLOW)
      & has_arg1(R_0023_0004__ALLOW,R_0023_0007__WRITE)
      & r_0023_0007__write(R_0023_0007__WRITE)
      & has_r_0023_0010__in__nim(R_0023_0007__WRITE,R_0023_0012__TIME)
      & r_0023_0012__time(R_0023_0012__TIME)
      & has_attrib(R_0023_0012__TIME,R_0023_0011__LESS)
      & has_arg1(R_0023_0007__WRITE,R_0023_0009__INSTRUCTIONS)
      & r_0023_0009__instructions(R_0023_0009__INSTRUCTIONS)
      & has_attrib(R_0023_0009__INSTRUCTIONS,R_0023_0008__MORE)
      & has_arg0(R_0023_0007__WRITE,R_0023_0005__PROGRAMMERS)
      & has_arg0(R_0023_0004__ALLOW,R_0023_0002__PROGRAMMING_R_0023_0003__ROUTINES)
      & r_0023_0002__programming_r_0023_0003__routines(R_0023_0002__PROGRAMMING_R_0023_0003__ROUTINES)
      & has_attrib(R_0023_0002__PROGRAMMING_R_0023_0003__ROUTINES,R_0023_0001__SIMPLIFIED) ) ).