TSPC 70_a_ibm

70_a_ibm_1401
The 1401 itself does the work of converting the programmers' statements into the detailed instructions.

arc(r_0070_0004__does, r_0070_0001__The_r_0070_0002__1401, arg0).
arc(r_0070_0004__does, r_0070_0003__itself, nim7).
arc(r_0070_0004__does, r_0070_0005__the_r_0070_0006__work, arg1).
arc(r_0070_0005__the_r_0070_0006__work, r_0070_0008__converting, r_0070_0007__of).
arc(r_0070_0008__converting, r_0070_0012__statements, arg1).
arc(r_0070_0008__converting, r_0070_0014__the_r_0070_0016__instructions, r_0070_0013__into_clr36).
arc(r_0070_0008__converting, z_000_70_a_ibm_1401_20, arg0).
arc(r_0070_0012__statements, r_0070_0009__the_r_0070_0010__programmers_r_0070_0011___apos_, gen).
arc(r_0070_0014__the_r_0070_0016__instructions, r_0070_0015__detailed, attrib39).

fof(formula,axiom,
    ? [R_0070_0001__THE_R_0070_0002__1401,R_0070_0003__ITSELF,R_0070_0009__THE_R_0070_0010__PROGRAMMERS_R_0070_0011___APOS_,R_0070_0012__STATEMENTS,R_0070_0015__DETAILED,R_0070_0014__THE_R_0070_0016__INSTRUCTIONS,Z_000_70_A_IBM_1401_20,R_0070_0008__CONVERTING,R_0070_0005__THE_R_0070_0006__WORK,R_0070_0004__DOES] :
      ( r_0070_0001__The_r_0070_0002__1401(R_0070_0001__THE_R_0070_0002__1401)
      & r_0070_0003__itself(R_0070_0003__ITSELF)
      & r_0070_0009__the_r_0070_0010__programmers_r_0070_0011___apos_(R_0070_0009__THE_R_0070_0010__PROGRAMMERS_R_0070_0011___APOS_)
      & r_0070_0015__detailed(R_0070_0015__DETAILED)
      & z_000_70_a_ibm_1401_20(Z_000_70_A_IBM_1401_20)
      & r_0070_0004__does(R_0070_0004__DOES)
      & has_arg1(R_0070_0004__DOES,R_0070_0005__THE_R_0070_0006__WORK)
      & r_0070_0005__the_r_0070_0006__work(R_0070_0005__THE_R_0070_0006__WORK)
      & has_r_0070_0007__of(R_0070_0005__THE_R_0070_0006__WORK,R_0070_0008__CONVERTING)
      & r_0070_0008__converting(R_0070_0008__CONVERTING)
      & has_arg0(R_0070_0008__CONVERTING,Z_000_70_A_IBM_1401_20)
      & has_r_0070_0013__into_clr36(R_0070_0008__CONVERTING,R_0070_0014__THE_R_0070_0016__INSTRUCTIONS)
      & r_0070_0014__the_r_0070_0016__instructions(R_0070_0014__THE_R_0070_0016__INSTRUCTIONS)
      & has_attrib39(R_0070_0014__THE_R_0070_0016__INSTRUCTIONS,R_0070_0015__DETAILED)
      & has_arg1(R_0070_0008__CONVERTING,R_0070_0012__STATEMENTS)
      & r_0070_0012__statements(R_0070_0012__STATEMENTS)
      & has_gen(R_0070_0012__STATEMENTS,R_0070_0009__THE_R_0070_0010__PROGRAMMERS_R_0070_0011___APOS_)
      & has_nim7(R_0070_0004__DOES,R_0070_0003__ITSELF)
      & has_arg0(R_0070_0004__DOES,R_0070_0001__THE_R_0070_0002__1401) ) ).

( (IP-MAT (NP-SBJ;{IBM1401} (D The;{the})
                            (NPR 1401))
          (NP-RFL;{IBM1401} (PNX itself;{itself}))
          (DOP;_Tn_ does;{do})
          (NP-OB1 (D the;{the})
                  (N work;{work})
                  (PP (P-ROLE of;{of})
                      (IP-PPL (VAG;_Tn.pr_ converting;{convert[into]})
                              (NP-OB1 (NP-GEN (D the;{the})
                                              (NS programmers;{programmer})
                                              (GENM <apos>))
                                      (NS statements;{statement}))
                              (PP-CLR (P-ROLE into;{into})
                                      (NP (D the;{the})
                                          (ADJP (ADJ detailed;{detailed}))
                                          (NS instructions;{instruction}))))))
          (PUNC .))
  (ID 70_a_ibm_1401))