Context                Previous, Next                Top


40_a_ibm_1401
It allows generation of multiple machine instructions from one source statement, free - form coding, and an automatic assembly process through magnetic tape.

%3 r_0040_0002__allows allows r_0040_0001__It It r_0040_0002__allows->r_0040_0001__It [arg0] r_0040_0018__and and r_0040_0002__allows->r_0040_0018__and [arg1] r_0040_0003__generation generation r_0040_0018__and->r_0040_0003__generation [conj1] r_0040_0015__form_r_0040_0016__coding form coding r_0040_0018__and->r_0040_0015__form_r_0040_0016__coding [conj2] r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process an assembly process r_0040_0018__and->r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process [conj3] r_0040_0006__machine_r_0040_0007__instructions machine instructions r_0040_0003__generation->r_0040_0006__machine_r_0040_0007__instructions of r_0040_0005__multiple multiple r_0040_0006__machine_r_0040_0007__instructions->r_0040_0005__multiple [attrib] r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement one source statement r_0040_0006__machine_r_0040_0007__instructions->r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement from r_0040_0013__free free r_0040_0015__form_r_0040_0016__coding->r_0040_0013__free [attrib] r_0040_0020__automatic automatic r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process->r_0040_0020__automatic [attrib] r_0040_0025__tape tape r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process->r_0040_0025__tape through r_0040_0024__magnetic magnetic r_0040_0025__tape->r_0040_0024__magnetic [attrib] 
arc(r_0040_0002__allows, r_0040_0001__It, arg0).
arc(r_0040_0002__allows, r_0040_0018__and, arg1).
arc(r_0040_0003__generation, r_0040_0006__machine_r_0040_0007__instructions, r_0040_0004__of).
arc(r_0040_0006__machine_r_0040_0007__instructions, r_0040_0005__multiple, attrib16).
arc(r_0040_0006__machine_r_0040_0007__instructions, r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement, r_0040_0008__from).
arc(r_0040_0015__form_r_0040_0016__coding, r_0040_0013__free, attrib37).
arc(r_0040_0018__and, r_0040_0003__generation, conj1).
arc(r_0040_0018__and, r_0040_0015__form_r_0040_0016__coding, conj2).
arc(r_0040_0018__and, r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process, conj3).
arc(r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process, r_0040_0020__automatic, attrib54).
arc(r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process, r_0040_0025__tape, r_0040_0023__through).
arc(r_0040_0025__tape, r_0040_0024__magnetic, attrib65).


%3 r_0040_0002__allows allows r_0040_0001__It It r_0040_0002__allows->r_0040_0001__It [arg0] r_0040_0018__and and r_0040_0002__allows->r_0040_0018__and [arg1] r_0040_0003__generation generation r_0040_0018__and->r_0040_0003__generation [conj1] r_0040_0015__form_r_0040_0016__coding form coding r_0040_0018__and->r_0040_0015__form_r_0040_0016__coding [conj2] r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process an assembly process r_0040_0018__and->r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process [conj3] r_0040_0006__machine_r_0040_0007__instructions machine instructions r_0040_0003__generation->r_0040_0006__machine_r_0040_0007__instructions of r_0040_0005__multiple multiple r_0040_0006__machine_r_0040_0007__instructions->r_0040_0005__multiple [attrib] r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement one source statement r_0040_0006__machine_r_0040_0007__instructions->r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement from r_0040_0013__free free r_0040_0015__form_r_0040_0016__coding->r_0040_0013__free [attrib] r_0040_0020__automatic automatic r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process->r_0040_0020__automatic [attrib] r_0040_0025__tape tape r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process->r_0040_0025__tape through r_0040_0024__magnetic magnetic r_0040_0025__tape->r_0040_0024__magnetic [attrib] 
fof(formula,axiom,
    ? [R_40_2_ALLOWS,R_40_1_IT,R_40_18_AND,R_40_3_GENERATION,R_40_6_MACHINE_INSTRUCTIONS,R_40_5_MULTIPLE,R_40_9_ONE_SOURCE_STATEMENT,R_40_15_FORM_CODING,R_40_13_FREE,R_40_19_AN_ASSEMBLY_PROCESS,R_40_20_AUTOMATIC,R_40_25_TAPE,R_40_24_MAGNETIC] :
      ( it(R_40_1_IT)
      & multiple(R_40_5_MULTIPLE)
      & one_source_statement(R_40_9_ONE_SOURCE_STATEMENT)
      & free(R_40_13_FREE)
      & automatic(R_40_20_AUTOMATIC)
      & magnetic(R_40_24_MAGNETIC)
      & allows(R_40_2_ALLOWS,R_40_1_IT,R_40_18_AND)
      & and(R_40_18_AND)
      & conj1(R_40_18_AND,R_40_3_GENERATION)
      & generation(R_40_3_GENERATION)
      & of(R_40_3_GENERATION,R_40_6_MACHINE_INSTRUCTIONS)
      & machine_instructions(R_40_6_MACHINE_INSTRUCTIONS)
      & attrib16(R_40_6_MACHINE_INSTRUCTIONS,R_40_5_MULTIPLE)
      & from(R_40_6_MACHINE_INSTRUCTIONS,R_40_9_ONE_SOURCE_STATEMENT)
      & conj2(R_40_18_AND,R_40_15_FORM_CODING)
      & form_coding(R_40_15_FORM_CODING)
      & attrib37(R_40_15_FORM_CODING,R_40_13_FREE)
      & conj3(R_40_18_AND,R_40_19_AN_ASSEMBLY_PROCESS)
      & an_assembly_process(R_40_19_AN_ASSEMBLY_PROCESS)
      & attrib54(R_40_19_AN_ASSEMBLY_PROCESS,R_40_20_AUTOMATIC)
      & through(R_40_19_AN_ASSEMBLY_PROCESS,R_40_25_TAPE)
      & tape(R_40_25_TAPE)
      & attrib65(R_40_25_TAPE,R_40_24_MAGNETIC) ) ).


n40_a_ibm_1401 n40_a_ibm_1401_4 It n40_a_ibm_1401_6 allows n40_a_ibm_1401_11 generation n40_a_ibm_1401_14 of n40_a_ibm_1401_18 multiple n40_a_ibm_1401_20 machine n40_a_ibm_1401_22 instructions n40_a_ibm_1401_25 from n40_a_ibm_1401_28 one n40_a_ibm_1401_30 source n40_a_ibm_1401_32 statement n40_a_ibm_1401_34 , n40_a_ibm_1401_39 free n40_a_ibm_1401_41 - n40_a_ibm_1401_43 form n40_a_ibm_1401_45 coding n40_a_ibm_1401_47 , n40_a_ibm_1401_50 and n40_a_ibm_1401_53 an n40_a_ibm_1401_56 automatic n40_a_ibm_1401_58 assembly n40_a_ibm_1401_60 process n40_a_ibm_1401_63 through n40_a_ibm_1401_67 magnetic n40_a_ibm_1401_69 tape n40_a_ibm_1401_71 . n40_a_ibm_1401_1 IP-MAT n40_a_ibm_1401_2 NP-SBJ n40_a_ibm_1401_1->n40_a_ibm_1401_2 n40_a_ibm_1401_5 VBP;_Tn_ n40_a_ibm_1401_1->n40_a_ibm_1401_5 n40_a_ibm_1401_7 NP-OB1 n40_a_ibm_1401_1->n40_a_ibm_1401_7 n40_a_ibm_1401_70 PUNC n40_a_ibm_1401_1->n40_a_ibm_1401_70 n40_a_ibm_1401_3 PRO n40_a_ibm_1401_2->n40_a_ibm_1401_3 n40_a_ibm_1401_3->n40_a_ibm_1401_4 n40_a_ibm_1401_5->n40_a_ibm_1401_6 n40_a_ibm_1401_8 NLYR n40_a_ibm_1401_7->n40_a_ibm_1401_8 n40_a_ibm_1401_9 NLYR n40_a_ibm_1401_8->n40_a_ibm_1401_9 n40_a_ibm_1401_33 PUNC n40_a_ibm_1401_8->n40_a_ibm_1401_33 n40_a_ibm_1401_35 CONJP n40_a_ibm_1401_8->n40_a_ibm_1401_35 n40_a_ibm_1401_46 PUNC n40_a_ibm_1401_8->n40_a_ibm_1401_46 n40_a_ibm_1401_48 CONJP n40_a_ibm_1401_8->n40_a_ibm_1401_48 n40_a_ibm_1401_10 N n40_a_ibm_1401_9->n40_a_ibm_1401_10 n40_a_ibm_1401_12 PP n40_a_ibm_1401_9->n40_a_ibm_1401_12 n40_a_ibm_1401_10->n40_a_ibm_1401_11 n40_a_ibm_1401_13 P-ROLE n40_a_ibm_1401_12->n40_a_ibm_1401_13 n40_a_ibm_1401_15 NP n40_a_ibm_1401_12->n40_a_ibm_1401_15 n40_a_ibm_1401_13->n40_a_ibm_1401_14 n40_a_ibm_1401_16 ADJP n40_a_ibm_1401_15->n40_a_ibm_1401_16 n40_a_ibm_1401_19 N n40_a_ibm_1401_15->n40_a_ibm_1401_19 n40_a_ibm_1401_21 NS n40_a_ibm_1401_15->n40_a_ibm_1401_21 n40_a_ibm_1401_23 PP n40_a_ibm_1401_15->n40_a_ibm_1401_23 n40_a_ibm_1401_17 ADJ n40_a_ibm_1401_16->n40_a_ibm_1401_17 n40_a_ibm_1401_17->n40_a_ibm_1401_18 n40_a_ibm_1401_19->n40_a_ibm_1401_20 n40_a_ibm_1401_21->n40_a_ibm_1401_22 n40_a_ibm_1401_24 P-ROLE n40_a_ibm_1401_23->n40_a_ibm_1401_24 n40_a_ibm_1401_26 NP n40_a_ibm_1401_23->n40_a_ibm_1401_26 n40_a_ibm_1401_24->n40_a_ibm_1401_25 n40_a_ibm_1401_27 NUM n40_a_ibm_1401_26->n40_a_ibm_1401_27 n40_a_ibm_1401_29 N n40_a_ibm_1401_26->n40_a_ibm_1401_29 n40_a_ibm_1401_31 N n40_a_ibm_1401_26->n40_a_ibm_1401_31 n40_a_ibm_1401_27->n40_a_ibm_1401_28 n40_a_ibm_1401_29->n40_a_ibm_1401_30 n40_a_ibm_1401_31->n40_a_ibm_1401_32 n40_a_ibm_1401_33->n40_a_ibm_1401_34 n40_a_ibm_1401_36 NLYR n40_a_ibm_1401_35->n40_a_ibm_1401_36 n40_a_ibm_1401_37 ADJP n40_a_ibm_1401_36->n40_a_ibm_1401_37 n40_a_ibm_1401_40 PUNC n40_a_ibm_1401_36->n40_a_ibm_1401_40 n40_a_ibm_1401_42 N n40_a_ibm_1401_36->n40_a_ibm_1401_42 n40_a_ibm_1401_44 N n40_a_ibm_1401_36->n40_a_ibm_1401_44 n40_a_ibm_1401_38 ADJ n40_a_ibm_1401_37->n40_a_ibm_1401_38 n40_a_ibm_1401_38->n40_a_ibm_1401_39 n40_a_ibm_1401_40->n40_a_ibm_1401_41 n40_a_ibm_1401_42->n40_a_ibm_1401_43 n40_a_ibm_1401_44->n40_a_ibm_1401_45 n40_a_ibm_1401_46->n40_a_ibm_1401_47 n40_a_ibm_1401_49 CONJ n40_a_ibm_1401_48->n40_a_ibm_1401_49 n40_a_ibm_1401_51 NLYR n40_a_ibm_1401_48->n40_a_ibm_1401_51 n40_a_ibm_1401_49->n40_a_ibm_1401_50 n40_a_ibm_1401_52 D n40_a_ibm_1401_51->n40_a_ibm_1401_52 n40_a_ibm_1401_54 ADJP n40_a_ibm_1401_51->n40_a_ibm_1401_54 n40_a_ibm_1401_57 N n40_a_ibm_1401_51->n40_a_ibm_1401_57 n40_a_ibm_1401_59 N n40_a_ibm_1401_51->n40_a_ibm_1401_59 n40_a_ibm_1401_61 PP n40_a_ibm_1401_51->n40_a_ibm_1401_61 n40_a_ibm_1401_52->n40_a_ibm_1401_53 n40_a_ibm_1401_55 ADJ n40_a_ibm_1401_54->n40_a_ibm_1401_55 n40_a_ibm_1401_55->n40_a_ibm_1401_56 n40_a_ibm_1401_57->n40_a_ibm_1401_58 n40_a_ibm_1401_59->n40_a_ibm_1401_60 n40_a_ibm_1401_62 P-ROLE n40_a_ibm_1401_61->n40_a_ibm_1401_62 n40_a_ibm_1401_64 NP n40_a_ibm_1401_61->n40_a_ibm_1401_64 n40_a_ibm_1401_62->n40_a_ibm_1401_63 n40_a_ibm_1401_65 ADJP n40_a_ibm_1401_64->n40_a_ibm_1401_65 n40_a_ibm_1401_68 N n40_a_ibm_1401_64->n40_a_ibm_1401_68 n40_a_ibm_1401_66 ADJ n40_a_ibm_1401_65->n40_a_ibm_1401_66 n40_a_ibm_1401_66->n40_a_ibm_1401_67 n40_a_ibm_1401_68->n40_a_ibm_1401_69 n40_a_ibm_1401_70->n40_a_ibm_1401_71 
( (IP-MAT (NP-SBJ;{AUTOCODER} (PRO It;{it}))
          (VBP;_Tn_ allows;{allow})
          (NP-OB1 (NLYR (NLYR (N generation;{generation})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ multiple;{multiple}))
                                      (N machine;{machine})
                                      (NS instructions;{instruction})
                                      (PP (P-ROLE from;{from})
                                          (NP (NUM one;{one})
                                              (N source;{source})
                                              (N statement;{statement}))))))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ free;{free}))
                                     (PUNC <hyphen>)
                                     (N form;{form})
                                     (N coding;{coding})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D an;{an})
                                     (ADJP (ADJ automatic;{automatic}))
                                     (N assembly;{assembly})
                                     (N process;{process})
                                     (PP (P-ROLE through;{through})
                                         (NP (ADJP (ADJ magnetic;{magnetic}))
                                             (N tape;{tape})))))))
          (PUNC .))
  (ID 40_a_ibm_1401))