TSPC 70_a_ibm

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

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

arc(r_0070_0004__does,r_0070_0001__The_r_0070_0002__1401,arg0).
arc(r_0070_0004__does,r_0070_0001__The_r_0070_0002__1401,rfl).
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_0013__into,r_0070_0007__of).
arc(r_0070_0008__converting_r_0070_0013__into,r_0070_0012__statements,arg1).
arc(r_0070_0008__converting_r_0070_0013__into,r_0070_0014__the_r_0070_0016__instructions,arg2).
arc(r_0070_0008__converting_r_0070_0013__into,z_0070_5004,arg0).
arc(r_0070_0012__statements,r_0070_0009__the_r_0070_0010__programmers,gen).
arc(r_0070_0014__the_r_0070_0016__instructions,r_0070_0015__detailed,attrib).

fof(formula,axiom,
    ? [R_0070_0001__THE_R_0070_0002__1401,R_0070_0009__THE_R_0070_0010__PROGRAMMERS,R_0070_0012__STATEMENTS,R_0070_0015__DETAILED,R_0070_0014__THE_R_0070_0016__INSTRUCTIONS,Z_0070_5004,R_0070_0008__CONVERTING_R_0070_0013__INTO,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_0009__the_r_0070_0010__programmers(R_0070_0009__THE_R_0070_0010__PROGRAMMERS)
      & r_0070_0015__detailed(R_0070_0015__DETAILED)
      & z_0070_5004(Z_0070_5004)
      & 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_0013__INTO)
      & r_0070_0008__converting_r_0070_0013__into(R_0070_0008__CONVERTING_R_0070_0013__INTO)
      & has_arg0(R_0070_0008__CONVERTING_R_0070_0013__INTO,Z_0070_5004)
      & has_arg2(R_0070_0008__CONVERTING_R_0070_0013__INTO,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_attrib(R_0070_0014__THE_R_0070_0016__INSTRUCTIONS,R_0070_0015__DETAILED)
      & has_arg1(R_0070_0008__CONVERTING_R_0070_0013__INTO,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)
      & has_rfl(R_0070_0004__DOES,R_0070_0001__THE_R_0070_0002__1401)
      & has_arg0(R_0070_0004__DOES,R_0070_0001__THE_R_0070_0002__1401) ) ).