Context                Previous, Next                Top


10_a_ibm_1401
Page 2: Here an operator points to machine language instructions for a new application being generated by the 1401 system on the 1403 high - speed printer.

%3 r_0010_0007__points points r_0010_0004__Here Here r_0010_0007__points->r_0010_0004__Here [nim] r_0010_0005__an_r_0010_0006__operator an operator r_0010_0007__points->r_0010_0005__an_r_0010_0006__operator [arg0] r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions machine language instructions r_0010_0007__points->r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions to [clr] r_0010_0013__a_r_0010_0015__application a application r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions->r_0010_0013__a_r_0010_0015__application for r_0010_0014__new new r_0010_0013__a_r_0010_0015__application->r_0010_0014__new [attrib] r_0010_0016__being being r_0010_0017__generated generated r_0010_0016__being->r_0010_0017__generated [scope] r_0010_0017__generated->r_0010_0013__a_r_0010_0015__application [arg1] r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system the 1401 system r_0010_0017__generated->r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system [arg0] r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer the 1403 speed printer r_0010_0017__generated->r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer on [nim] r_0010_0025__high high r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer->r_0010_0025__high [attrib] 
arc(r_0010_0007__points, r_0010_0004__Here, nim10).
arc(r_0010_0007__points, r_0010_0005__an_r_0010_0006__operator, arg0).
arc(r_0010_0007__points, r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions, r_0010_0008__to_clr23).
arc(r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions, r_0010_0013__a_r_0010_0015__application, r_0010_0012__for).
arc(r_0010_0013__a_r_0010_0015__application, r_0010_0014__new, attrib36).
arc(r_0010_0016__being, r_0010_0017__generated, scope).
arc(r_0010_0017__generated, r_0010_0013__a_r_0010_0015__application, arg1).
arc(r_0010_0017__generated, r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system, arg0).
arc(r_0010_0017__generated, r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer, r_0010_0022__on_nim60).
arc(r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer, r_0010_0025__high, attrib65).


%3 r_0010_0007__points points r_0010_0004__Here Here r_0010_0007__points->r_0010_0004__Here [nim] r_0010_0005__an_r_0010_0006__operator an operator r_0010_0007__points->r_0010_0005__an_r_0010_0006__operator [arg0] r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions machine language instructions r_0010_0007__points->r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions to [clr] r_0010_0013__a_r_0010_0015__application a application r_0010_0009__machine_r_0010_0010__language_r_0010_0011__instructions->r_0010_0013__a_r_0010_0015__application for r_0010_0014__new new r_0010_0013__a_r_0010_0015__application->r_0010_0014__new [attrib] r_0010_0016__being_r_0010_0017__generated being generated r_0010_0016__being_r_0010_0017__generated->r_0010_0013__a_r_0010_0015__application [arg1] r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system the 1401 system r_0010_0016__being_r_0010_0017__generated->r_0010_0019__the_r_0010_0020__1401_r_0010_0021__system [arg0] r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer the 1403 speed printer r_0010_0016__being_r_0010_0017__generated->r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer on [nim] r_0010_0025__high high r_0010_0023__the_r_0010_0024__1403_r_0010_0027__speed_r_0010_0028__printer->r_0010_0025__high [attrib] 
fof(formula,axiom,
    ? [R_10_7_POINTS,R_10_5_AN_OPERATOR,R_10_4_HERE,R_10_9_MACHINE_LANGUAGE_INSTRUCTIONS,R_10_16_BEING_GENERATED,R_10_19_THE_1401_SYSTEM,R_10_13_A_APPLICATION,R_10_14_NEW,R_10_23_THE_1403_SPEED_PRINTER,R_10_25_HIGH] :
      ( an_operator(R_10_5_AN_OPERATOR)
      & here(R_10_4_HERE)
      & the_1401_system(R_10_19_THE_1401_SYSTEM)
      & new(R_10_14_NEW)
      & high(R_10_25_HIGH)
      & points(R_10_7_POINTS,R_10_5_AN_OPERATOR)
      & nim10(R_10_7_POINTS,R_10_4_HERE)
      & to_clr23(R_10_7_POINTS,R_10_9_MACHINE_LANGUAGE_INSTRUCTIONS)
      & machine_language_instructions(R_10_9_MACHINE_LANGUAGE_INSTRUCTIONS)
      & for(R_10_9_MACHINE_LANGUAGE_INSTRUCTIONS,R_10_13_A_APPLICATION)
      & a_application(R_10_13_A_APPLICATION)
      & attrib36(R_10_13_A_APPLICATION,R_10_14_NEW)
      & being_generated(R_10_16_BEING_GENERATED,R_10_19_THE_1401_SYSTEM,R_10_13_A_APPLICATION)
      & on_nim60(R_10_16_BEING_GENERATED,R_10_23_THE_1403_SPEED_PRINTER)
      & the_1403_speed_printer(R_10_23_THE_1403_SPEED_PRINTER)
      & attrib65(R_10_23_THE_1403_SPEED_PRINTER,R_10_25_HIGH) ) ).


n10_a_ibm_1401 n10_a_ibm_1401_5 Page n10_a_ibm_1401_7 2 n10_a_ibm_1401_9 : n10_a_ibm_1401_12 Here n10_a_ibm_1401_15 an n10_a_ibm_1401_17 operator n10_a_ibm_1401_19 points n10_a_ibm_1401_22 to n10_a_ibm_1401_25 machine n10_a_ibm_1401_27 language n10_a_ibm_1401_29 instructions n10_a_ibm_1401_32 for n10_a_ibm_1401_35 a n10_a_ibm_1401_38 new n10_a_ibm_1401_40 application n10_a_ibm_1401_43 being n10_a_ibm_1401_46 generated n10_a_ibm_1401_49 by n10_a_ibm_1401_52 the n10_a_ibm_1401_54 1401 n10_a_ibm_1401_56 system n10_a_ibm_1401_59 on n10_a_ibm_1401_62 the n10_a_ibm_1401_64 1403 n10_a_ibm_1401_67 high n10_a_ibm_1401_69 - n10_a_ibm_1401_71 speed n10_a_ibm_1401_73 printer n10_a_ibm_1401_75 . n10_a_ibm_1401_1 IP-MAT n10_a_ibm_1401_2 META n10_a_ibm_1401_1->n10_a_ibm_1401_2 n10_a_ibm_1401_10 ADVP-NIM n10_a_ibm_1401_1->n10_a_ibm_1401_10 n10_a_ibm_1401_13 NP-SBJ n10_a_ibm_1401_1->n10_a_ibm_1401_13 n10_a_ibm_1401_18 VBP;_Ipr_ n10_a_ibm_1401_1->n10_a_ibm_1401_18 n10_a_ibm_1401_20 PP-CLR n10_a_ibm_1401_1->n10_a_ibm_1401_20 n10_a_ibm_1401_74 PUNC n10_a_ibm_1401_1->n10_a_ibm_1401_74 n10_a_ibm_1401_3 NP n10_a_ibm_1401_2->n10_a_ibm_1401_3 n10_a_ibm_1401_8 PUNC n10_a_ibm_1401_2->n10_a_ibm_1401_8 n10_a_ibm_1401_4 NPR n10_a_ibm_1401_3->n10_a_ibm_1401_4 n10_a_ibm_1401_6 NUM n10_a_ibm_1401_3->n10_a_ibm_1401_6 n10_a_ibm_1401_4->n10_a_ibm_1401_5 n10_a_ibm_1401_6->n10_a_ibm_1401_7 n10_a_ibm_1401_8->n10_a_ibm_1401_9 n10_a_ibm_1401_11 ADV n10_a_ibm_1401_10->n10_a_ibm_1401_11 n10_a_ibm_1401_11->n10_a_ibm_1401_12 n10_a_ibm_1401_14 D n10_a_ibm_1401_13->n10_a_ibm_1401_14 n10_a_ibm_1401_16 N n10_a_ibm_1401_13->n10_a_ibm_1401_16 n10_a_ibm_1401_14->n10_a_ibm_1401_15 n10_a_ibm_1401_16->n10_a_ibm_1401_17 n10_a_ibm_1401_18->n10_a_ibm_1401_19 n10_a_ibm_1401_21 P-ROLE n10_a_ibm_1401_20->n10_a_ibm_1401_21 n10_a_ibm_1401_23 NP n10_a_ibm_1401_20->n10_a_ibm_1401_23 n10_a_ibm_1401_21->n10_a_ibm_1401_22 n10_a_ibm_1401_24 N n10_a_ibm_1401_23->n10_a_ibm_1401_24 n10_a_ibm_1401_26 N n10_a_ibm_1401_23->n10_a_ibm_1401_26 n10_a_ibm_1401_28 NS n10_a_ibm_1401_23->n10_a_ibm_1401_28 n10_a_ibm_1401_30 PP n10_a_ibm_1401_23->n10_a_ibm_1401_30 n10_a_ibm_1401_24->n10_a_ibm_1401_25 n10_a_ibm_1401_26->n10_a_ibm_1401_27 n10_a_ibm_1401_28->n10_a_ibm_1401_29 n10_a_ibm_1401_31 P-ROLE n10_a_ibm_1401_30->n10_a_ibm_1401_31 n10_a_ibm_1401_33 NP n10_a_ibm_1401_30->n10_a_ibm_1401_33 n10_a_ibm_1401_31->n10_a_ibm_1401_32 n10_a_ibm_1401_34 D n10_a_ibm_1401_33->n10_a_ibm_1401_34 n10_a_ibm_1401_36 ADJP n10_a_ibm_1401_33->n10_a_ibm_1401_36 n10_a_ibm_1401_39 N n10_a_ibm_1401_33->n10_a_ibm_1401_39 n10_a_ibm_1401_41 IP-PPL n10_a_ibm_1401_33->n10_a_ibm_1401_41 n10_a_ibm_1401_34->n10_a_ibm_1401_35 n10_a_ibm_1401_37 ADJ n10_a_ibm_1401_36->n10_a_ibm_1401_37 n10_a_ibm_1401_37->n10_a_ibm_1401_38 n10_a_ibm_1401_39->n10_a_ibm_1401_40 n10_a_ibm_1401_42 BAG;_cat_VePASS_ n10_a_ibm_1401_41->n10_a_ibm_1401_42 n10_a_ibm_1401_44 IP-PPL-CAT n10_a_ibm_1401_41->n10_a_ibm_1401_44 n10_a_ibm_1401_42->n10_a_ibm_1401_43 n10_a_ibm_1401_45 VVN;_Tn_ n10_a_ibm_1401_44->n10_a_ibm_1401_45 n10_a_ibm_1401_47 PP-LGS n10_a_ibm_1401_44->n10_a_ibm_1401_47 n10_a_ibm_1401_57 PP-NIM n10_a_ibm_1401_44->n10_a_ibm_1401_57 n10_a_ibm_1401_45->n10_a_ibm_1401_46 n10_a_ibm_1401_48 P-ROLE;_lgs_ n10_a_ibm_1401_47->n10_a_ibm_1401_48 n10_a_ibm_1401_50 NP n10_a_ibm_1401_47->n10_a_ibm_1401_50 n10_a_ibm_1401_48->n10_a_ibm_1401_49 n10_a_ibm_1401_51 D n10_a_ibm_1401_50->n10_a_ibm_1401_51 n10_a_ibm_1401_53 NPR n10_a_ibm_1401_50->n10_a_ibm_1401_53 n10_a_ibm_1401_55 N n10_a_ibm_1401_50->n10_a_ibm_1401_55 n10_a_ibm_1401_51->n10_a_ibm_1401_52 n10_a_ibm_1401_53->n10_a_ibm_1401_54 n10_a_ibm_1401_55->n10_a_ibm_1401_56 n10_a_ibm_1401_58 P-ROLE n10_a_ibm_1401_57->n10_a_ibm_1401_58 n10_a_ibm_1401_60 NP n10_a_ibm_1401_57->n10_a_ibm_1401_60 n10_a_ibm_1401_58->n10_a_ibm_1401_59 n10_a_ibm_1401_61 D n10_a_ibm_1401_60->n10_a_ibm_1401_61 n10_a_ibm_1401_63 NPR n10_a_ibm_1401_60->n10_a_ibm_1401_63 n10_a_ibm_1401_65 ADJP n10_a_ibm_1401_60->n10_a_ibm_1401_65 n10_a_ibm_1401_68 PUNC n10_a_ibm_1401_60->n10_a_ibm_1401_68 n10_a_ibm_1401_70 N n10_a_ibm_1401_60->n10_a_ibm_1401_70 n10_a_ibm_1401_72 N n10_a_ibm_1401_60->n10_a_ibm_1401_72 n10_a_ibm_1401_61->n10_a_ibm_1401_62 n10_a_ibm_1401_63->n10_a_ibm_1401_64 n10_a_ibm_1401_66 ADJ n10_a_ibm_1401_65->n10_a_ibm_1401_66 n10_a_ibm_1401_66->n10_a_ibm_1401_67 n10_a_ibm_1401_68->n10_a_ibm_1401_69 n10_a_ibm_1401_70->n10_a_ibm_1401_71 n10_a_ibm_1401_72->n10_a_ibm_1401_73 n10_a_ibm_1401_74->n10_a_ibm_1401_75 
( (IP-MAT (META (NP (NPR Page;{Page})
                    (NUM 2))
                (PUNC :))
          (ADVP-NIM (ADV Here;{here}))
          (NP-SBJ (D an;{an})
                  (N operator;{operator}))
          (VBP;_Ipr_ points;{point[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (N machine;{machine})
                      (N language;{language})
                      (NS instructions;{instruction})
                      (PP (P-ROLE for;{for})
                          (NP;{APPLICATION} (D a;{a})
                                            (ADJP (ADJ new;{new}))
                                            (N application;{application})
                                            (IP-PPL (BAG;_cat_VePASS_ being;{be})
                                                    (IP-PPL-CAT (VVN;_Tn_ generated;{generate})
                                                                (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                        (NP (D the;{the})
                                                                            (NPR 1401)
                                                                            (N system;{system})))
                                                                (PP-NIM (P-ROLE on;{on})
                                                                        (NP (D the;{the})
                                                                            (NPR 1403)
                                                                            (ADJP (ADJ high;{high}))
                                                                            (PUNC <hyphen>)
                                                                            (N speed;{speed})
                                                                            (N printer;{printer})))))))))
          (PUNC .))
  (ID 10_a_ibm_1401))