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_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] 
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_4 The n70_a_ibm_1401_6 1401 n70_a_ibm_1401_9 itself n70_a_ibm_1401_11 does n70_a_ibm_1401_14 the n70_a_ibm_1401_16 work n70_a_ibm_1401_19 of n70_a_ibm_1401_22 converting n70_a_ibm_1401_26 the n70_a_ibm_1401_28 programmers n70_a_ibm_1401_30 ' n70_a_ibm_1401_32 statements n70_a_ibm_1401_35 into n70_a_ibm_1401_38 the n70_a_ibm_1401_41 detailed n70_a_ibm_1401_43 instructions n70_a_ibm_1401_45 . n70_a_ibm_1401_1 IP-MAT n70_a_ibm_1401_2 NP-SBJ n70_a_ibm_1401_1->n70_a_ibm_1401_2 n70_a_ibm_1401_7 NP-RFL n70_a_ibm_1401_1->n70_a_ibm_1401_7 n70_a_ibm_1401_10 DOP;_Tn_ n70_a_ibm_1401_1->n70_a_ibm_1401_10 n70_a_ibm_1401_12 NP-OB1 n70_a_ibm_1401_1->n70_a_ibm_1401_12 n70_a_ibm_1401_44 PUNC n70_a_ibm_1401_1->n70_a_ibm_1401_44 n70_a_ibm_1401_3 D n70_a_ibm_1401_2->n70_a_ibm_1401_3 n70_a_ibm_1401_5 NPR n70_a_ibm_1401_2->n70_a_ibm_1401_5 n70_a_ibm_1401_3->n70_a_ibm_1401_4 n70_a_ibm_1401_5->n70_a_ibm_1401_6 n70_a_ibm_1401_8 PNX n70_a_ibm_1401_7->n70_a_ibm_1401_8 n70_a_ibm_1401_8->n70_a_ibm_1401_9 n70_a_ibm_1401_10->n70_a_ibm_1401_11 n70_a_ibm_1401_13 D n70_a_ibm_1401_12->n70_a_ibm_1401_13 n70_a_ibm_1401_15 N n70_a_ibm_1401_12->n70_a_ibm_1401_15 n70_a_ibm_1401_17 PP n70_a_ibm_1401_12->n70_a_ibm_1401_17 n70_a_ibm_1401_13->n70_a_ibm_1401_14 n70_a_ibm_1401_15->n70_a_ibm_1401_16 n70_a_ibm_1401_18 P-ROLE n70_a_ibm_1401_17->n70_a_ibm_1401_18 n70_a_ibm_1401_20 IP-PPL n70_a_ibm_1401_17->n70_a_ibm_1401_20 n70_a_ibm_1401_18->n70_a_ibm_1401_19 n70_a_ibm_1401_21 VAG;_Tn.pr_ n70_a_ibm_1401_20->n70_a_ibm_1401_21 n70_a_ibm_1401_23 NP-OB1 n70_a_ibm_1401_20->n70_a_ibm_1401_23 n70_a_ibm_1401_33 PP-CLR n70_a_ibm_1401_20->n70_a_ibm_1401_33 n70_a_ibm_1401_21->n70_a_ibm_1401_22 n70_a_ibm_1401_24 NP-GEN n70_a_ibm_1401_23->n70_a_ibm_1401_24 n70_a_ibm_1401_31 NS n70_a_ibm_1401_23->n70_a_ibm_1401_31 n70_a_ibm_1401_25 D n70_a_ibm_1401_24->n70_a_ibm_1401_25 n70_a_ibm_1401_27 NS n70_a_ibm_1401_24->n70_a_ibm_1401_27 n70_a_ibm_1401_29 GENM n70_a_ibm_1401_24->n70_a_ibm_1401_29 n70_a_ibm_1401_25->n70_a_ibm_1401_26 n70_a_ibm_1401_27->n70_a_ibm_1401_28 n70_a_ibm_1401_29->n70_a_ibm_1401_30 n70_a_ibm_1401_31->n70_a_ibm_1401_32 n70_a_ibm_1401_34 P-ROLE n70_a_ibm_1401_33->n70_a_ibm_1401_34 n70_a_ibm_1401_36 NP n70_a_ibm_1401_33->n70_a_ibm_1401_36 n70_a_ibm_1401_34->n70_a_ibm_1401_35 n70_a_ibm_1401_37 D n70_a_ibm_1401_36->n70_a_ibm_1401_37 n70_a_ibm_1401_39 ADJP n70_a_ibm_1401_36->n70_a_ibm_1401_39 n70_a_ibm_1401_42 NS n70_a_ibm_1401_36->n70_a_ibm_1401_42 n70_a_ibm_1401_37->n70_a_ibm_1401_38 n70_a_ibm_1401_40 ADJ n70_a_ibm_1401_39->n70_a_ibm_1401_40 n70_a_ibm_1401_40->n70_a_ibm_1401_41 n70_a_ibm_1401_42->n70_a_ibm_1401_43 n70_a_ibm_1401_44->n70_a_ibm_1401_45 
( (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))