Context                Previous, Next                Top


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

%3 r_0070_0004__does does r_0070_0001__The_r_0070_0002__1401 The 1401 r_0070_0004__does->r_0070_0001__The_r_0070_0002__1401 [arg0] r_0070_0003__itself itself r_0070_0004__does->r_0070_0003__itself [nim] r_0070_0005__the_r_0070_0006__work the work r_0070_0004__does->r_0070_0005__the_r_0070_0006__work [arg1] r_0070_0008__converting converting r_0070_0005__the_r_0070_0006__work->r_0070_0008__converting of r_0070_0012__statements statements r_0070_0008__converting->r_0070_0012__statements [arg1] r_0070_0014__the_r_0070_0016__instructions the instructions r_0070_0008__converting->r_0070_0014__the_r_0070_0016__instructions into [clr] z_000_70_a_ibm_1401_20 r_0070_0008__converting->z_000_70_a_ibm_1401_20 [arg0] r_0070_0009__the_r_0070_0010__programmers_r_0070_0011___apos_ the programmers ' r_0070_0012__statements->r_0070_0009__the_r_0070_0010__programmers_r_0070_0011___apos_ [gen] r_0070_0015__detailed detailed r_0070_0014__the_r_0070_0016__instructions->r_0070_0015__detailed [attrib] 
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).


%3 r_0070_0014__the_r_0070_0016__instructions the instructions r_0070_0015__detailed detailed r_0070_0014__the_r_0070_0016__instructions->r_0070_0015__detailed [attrib] r_0070_0012__statements statements r_0070_0009__the_r_0070_0010__programmers_r_0070_0011___apos_ the programmers ' r_0070_0012__statements->r_0070_0009__the_r_0070_0010__programmers_r_0070_0011___apos_ [gen] r_0070_0008__converting converting r_0070_0008__converting->r_0070_0014__the_r_0070_0016__instructions into [clr] r_0070_0008__converting->r_0070_0012__statements [arg1] z_000_70_a_ibm_1401_20 r_0070_0008__converting->z_000_70_a_ibm_1401_20 [arg0] r_0070_0005__the_r_0070_0006__work the work r_0070_0005__the_r_0070_0006__work->r_0070_0008__converting of r_0070_0004__does does r_0070_0004__does->r_0070_0005__the_r_0070_0006__work [arg1] r_0070_0003__itself itself r_0070_0004__does->r_0070_0003__itself [nim] r_0070_0001__The_r_0070_0002__1401 The 1401 r_0070_0004__does->r_0070_0001__The_r_0070_0002__1401 [arg0] 
fof(formula,axiom,
    ? [R_70_4_DOES,R_70_1_THE_1401,R_70_5_THE_WORK,R_70_8_CONVERTING,Z_70_A_IBM_1401_20,R_70_12_STATEMENTS,R_70_9_THE_PROGRAMMERS_APOS_,R_70_14_THE_INSTRUCTIONS,R_70_15_DETAILED,R_70_3_ITSELF] :
      ( the_1401(R_70_1_THE_1401)
      & the_programmers_apos_(R_70_9_THE_PROGRAMMERS_APOS_)
      & detailed(R_70_15_DETAILED)
      & itself(R_70_3_ITSELF)
      & does(R_70_4_DOES,R_70_1_THE_1401,R_70_5_THE_WORK)
      & the_work(R_70_5_THE_WORK)
      & of(R_70_5_THE_WORK,R_70_8_CONVERTING)
      & converting(R_70_8_CONVERTING,Z_70_A_IBM_1401_20,R_70_12_STATEMENTS)
      & statements(R_70_12_STATEMENTS)
      & gen(R_70_12_STATEMENTS,R_70_9_THE_PROGRAMMERS_APOS_)
      & into_clr36(R_70_8_CONVERTING,R_70_14_THE_INSTRUCTIONS)
      & the_instructions(R_70_14_THE_INSTRUCTIONS)
      & attrib39(R_70_14_THE_INSTRUCTIONS,R_70_15_DETAILED)
      & nim7(R_70_4_DOES,R_70_3_ITSELF) ) ).


n70_a_ibm_1401 n70_a_ibm_1401__1_1_1_1 The n70_a_ibm_1401__1_1_2_1 1401 n70_a_ibm_1401__1_2_1_1 itself n70_a_ibm_1401__1_3_1 does n70_a_ibm_1401__1_4_1_1 the n70_a_ibm_1401__1_4_2_1 work n70_a_ibm_1401__1_4_3_1_1 of n70_a_ibm_1401__1_4_3_2_1_1 converting n70_a_ibm_1401__1_4_3_2_2_1_1_1 the n70_a_ibm_1401__1_4_3_2_2_1_2_1 programmers n70_a_ibm_1401__1_4_3_2_2_1_3_1 ' n70_a_ibm_1401__1_4_3_2_2_2_1 statements n70_a_ibm_1401__1_4_3_2_3_1_1 into n70_a_ibm_1401__1_4_3_2_3_2_1_1 the n70_a_ibm_1401__1_4_3_2_3_2_2_1_1 detailed n70_a_ibm_1401__1_4_3_2_3_2_3_1 instructions n70_a_ibm_1401__1_5_1 . n70_a_ibm_1401__1 IP-MAT n70_a_ibm_1401__1_1 NP-SBJ n70_a_ibm_1401__1->n70_a_ibm_1401__1_1 n70_a_ibm_1401__1_2 NP-RFL n70_a_ibm_1401__1->n70_a_ibm_1401__1_2 n70_a_ibm_1401__1_3 DOP;_Tn_ n70_a_ibm_1401__1->n70_a_ibm_1401__1_3 n70_a_ibm_1401__1_4 NP-OB1 n70_a_ibm_1401__1->n70_a_ibm_1401__1_4 n70_a_ibm_1401__1_5 PUNC n70_a_ibm_1401__1->n70_a_ibm_1401__1_5 n70_a_ibm_1401__1_1_1 D n70_a_ibm_1401__1_1->n70_a_ibm_1401__1_1_1 n70_a_ibm_1401__1_1_2 NPR n70_a_ibm_1401__1_1->n70_a_ibm_1401__1_1_2 n70_a_ibm_1401__1_1_1->n70_a_ibm_1401__1_1_1_1 n70_a_ibm_1401__1_1_2->n70_a_ibm_1401__1_1_2_1 n70_a_ibm_1401__1_2_1 PNX n70_a_ibm_1401__1_2->n70_a_ibm_1401__1_2_1 n70_a_ibm_1401__1_2_1->n70_a_ibm_1401__1_2_1_1 n70_a_ibm_1401__1_3->n70_a_ibm_1401__1_3_1 n70_a_ibm_1401__1_4_1 D n70_a_ibm_1401__1_4->n70_a_ibm_1401__1_4_1 n70_a_ibm_1401__1_4_2 N n70_a_ibm_1401__1_4->n70_a_ibm_1401__1_4_2 n70_a_ibm_1401__1_4_3 PP n70_a_ibm_1401__1_4->n70_a_ibm_1401__1_4_3 n70_a_ibm_1401__1_4_1->n70_a_ibm_1401__1_4_1_1 n70_a_ibm_1401__1_4_2->n70_a_ibm_1401__1_4_2_1 n70_a_ibm_1401__1_4_3_1 P-ROLE n70_a_ibm_1401__1_4_3->n70_a_ibm_1401__1_4_3_1 n70_a_ibm_1401__1_4_3_2 IP-PPL n70_a_ibm_1401__1_4_3->n70_a_ibm_1401__1_4_3_2 n70_a_ibm_1401__1_4_3_1->n70_a_ibm_1401__1_4_3_1_1 n70_a_ibm_1401__1_4_3_2_1 VAG;_Tn.pr_ n70_a_ibm_1401__1_4_3_2->n70_a_ibm_1401__1_4_3_2_1 n70_a_ibm_1401__1_4_3_2_2 NP-OB1 n70_a_ibm_1401__1_4_3_2->n70_a_ibm_1401__1_4_3_2_2 n70_a_ibm_1401__1_4_3_2_3 PP-CLR n70_a_ibm_1401__1_4_3_2->n70_a_ibm_1401__1_4_3_2_3 n70_a_ibm_1401__1_4_3_2_1->n70_a_ibm_1401__1_4_3_2_1_1 n70_a_ibm_1401__1_4_3_2_2_1 NP-GEN n70_a_ibm_1401__1_4_3_2_2->n70_a_ibm_1401__1_4_3_2_2_1 n70_a_ibm_1401__1_4_3_2_2_2 NS n70_a_ibm_1401__1_4_3_2_2->n70_a_ibm_1401__1_4_3_2_2_2 n70_a_ibm_1401__1_4_3_2_2_1_1 D n70_a_ibm_1401__1_4_3_2_2_1->n70_a_ibm_1401__1_4_3_2_2_1_1 n70_a_ibm_1401__1_4_3_2_2_1_2 NS n70_a_ibm_1401__1_4_3_2_2_1->n70_a_ibm_1401__1_4_3_2_2_1_2 n70_a_ibm_1401__1_4_3_2_2_1_3 GENM n70_a_ibm_1401__1_4_3_2_2_1->n70_a_ibm_1401__1_4_3_2_2_1_3 n70_a_ibm_1401__1_4_3_2_2_1_1->n70_a_ibm_1401__1_4_3_2_2_1_1_1 n70_a_ibm_1401__1_4_3_2_2_1_2->n70_a_ibm_1401__1_4_3_2_2_1_2_1 n70_a_ibm_1401__1_4_3_2_2_1_3->n70_a_ibm_1401__1_4_3_2_2_1_3_1 n70_a_ibm_1401__1_4_3_2_2_2->n70_a_ibm_1401__1_4_3_2_2_2_1 n70_a_ibm_1401__1_4_3_2_3_1 P-ROLE n70_a_ibm_1401__1_4_3_2_3->n70_a_ibm_1401__1_4_3_2_3_1 n70_a_ibm_1401__1_4_3_2_3_2 NP n70_a_ibm_1401__1_4_3_2_3->n70_a_ibm_1401__1_4_3_2_3_2 n70_a_ibm_1401__1_4_3_2_3_1->n70_a_ibm_1401__1_4_3_2_3_1_1 n70_a_ibm_1401__1_4_3_2_3_2_1 D n70_a_ibm_1401__1_4_3_2_3_2->n70_a_ibm_1401__1_4_3_2_3_2_1 n70_a_ibm_1401__1_4_3_2_3_2_2 ADJP n70_a_ibm_1401__1_4_3_2_3_2->n70_a_ibm_1401__1_4_3_2_3_2_2 n70_a_ibm_1401__1_4_3_2_3_2_3 NS n70_a_ibm_1401__1_4_3_2_3_2->n70_a_ibm_1401__1_4_3_2_3_2_3 n70_a_ibm_1401__1_4_3_2_3_2_1->n70_a_ibm_1401__1_4_3_2_3_2_1_1 n70_a_ibm_1401__1_4_3_2_3_2_2_1 ADJ n70_a_ibm_1401__1_4_3_2_3_2_2->n70_a_ibm_1401__1_4_3_2_3_2_2_1 n70_a_ibm_1401__1_4_3_2_3_2_2_1->n70_a_ibm_1401__1_4_3_2_3_2_2_1_1 n70_a_ibm_1401__1_4_3_2_3_2_3->n70_a_ibm_1401__1_4_3_2_3_2_3_1 n70_a_ibm_1401__1_5->n70_a_ibm_1401__1_5_1 
( (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))