Context                Previous, Next                Top


67_a_ibm_1401
Without the Report Program Generator, the program to get the Major Total Line would be written out in detail, step by step:

%3 r_0067_0009__to_r_0067_0010__get to get r_0067_0007__the_r_0067_0008__program the program r_0067_0009__to_r_0067_0010__get->r_0067_0007__the_r_0067_0008__program [arg0] r_0067_0011__the_r_0067_0014__Line the Line r_0067_0009__to_r_0067_0010__get->r_0067_0011__the_r_0067_0014__Line [arg1] r_0067_0012__Major Major r_0067_0011__the_r_0067_0014__Line->r_0067_0012__Major [attrib] r_0067_0013__Total Total r_0067_0011__the_r_0067_0014__Line->r_0067_0013__Total [attrib] r_0067_0015__would would r_0067_0002__the_r_0067_0003__Report_r_0067_0004__Program_r_0067_0005__Generator the Report Program Generator r_0067_0015__would->r_0067_0002__the_r_0067_0003__Report_r_0067_0004__Program_r_0067_0005__Generator Without [nim] r_0067_0016__be be r_0067_0015__would->r_0067_0016__be [scope] r_0067_0017__written_r_0067_0018__out written out r_0067_0016__be->r_0067_0017__written_r_0067_0018__out [scope] r_0067_0017__written_r_0067_0018__out->r_0067_0007__the_r_0067_0008__program [arg1] r_0067_0020__detail detail r_0067_0017__written_r_0067_0018__out->r_0067_0020__detail in [nim] r_0067_0022__step step r_0067_0017__written_r_0067_0018__out->r_0067_0022__step [nim] z_000_67_a_ibm_1401_45 r_0067_0017__written_r_0067_0018__out->z_000_67_a_ibm_1401_45 [arg0] r_0067_0024__step step r_0067_0022__step->r_0067_0024__step by 
arc(r_0067_0009__to_r_0067_0010__get, r_0067_0007__the_r_0067_0008__program, arg0).
arc(r_0067_0009__to_r_0067_0010__get, r_0067_0011__the_r_0067_0014__Line, arg1).
arc(r_0067_0011__the_r_0067_0014__Line, r_0067_0012__Major, attrib31).
arc(r_0067_0011__the_r_0067_0014__Line, r_0067_0013__Total, attrib34).
arc(r_0067_0015__would, r_0067_0002__the_r_0067_0003__Report_r_0067_0004__Program_r_0067_0005__Generator, r_0067_0001__Without_nim5).
arc(r_0067_0015__would, r_0067_0016__be, scope).
arc(r_0067_0016__be, r_0067_0017__written_r_0067_0018__out, scope).
arc(r_0067_0017__written_r_0067_0018__out, r_0067_0007__the_r_0067_0008__program, arg1).
arc(r_0067_0017__written_r_0067_0018__out, r_0067_0020__detail, r_0067_0019__in_nim54).
arc(r_0067_0017__written_r_0067_0018__out, r_0067_0022__step, nim59).
arc(r_0067_0017__written_r_0067_0018__out, z_000_67_a_ibm_1401_45, arg0).
arc(r_0067_0022__step, r_0067_0024__step, r_0067_0023__by).


%3 r_0067_0009__to_r_0067_0010__get to get r_0067_0007__the_r_0067_0008__program the program r_0067_0009__to_r_0067_0010__get->r_0067_0007__the_r_0067_0008__program [arg0] r_0067_0011__the_r_0067_0014__Line the Line r_0067_0009__to_r_0067_0010__get->r_0067_0011__the_r_0067_0014__Line [arg1] r_0067_0012__Major Major r_0067_0011__the_r_0067_0014__Line->r_0067_0012__Major [attrib] r_0067_0013__Total Total r_0067_0011__the_r_0067_0014__Line->r_0067_0013__Total [attrib] r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out would be written out r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out->r_0067_0007__the_r_0067_0008__program [arg1] r_0067_0002__the_r_0067_0003__Report_r_0067_0004__Program_r_0067_0005__Generator the Report Program Generator r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out->r_0067_0002__the_r_0067_0003__Report_r_0067_0004__Program_r_0067_0005__Generator Without [nim] r_0067_0020__detail detail r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out->r_0067_0020__detail in [nim] r_0067_0022__step step r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out->r_0067_0022__step [nim] z_000_67_a_ibm_1401_45 r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out->z_000_67_a_ibm_1401_45 [arg0] r_0067_0024__step step r_0067_0022__step->r_0067_0024__step by 
fof(formula,axiom,
    ? [R_67_9_TO_GET,R_67_11_THE_LINE,R_67_12_MAJOR,R_67_13_TOTAL,R_67_15_WOULD_BE_WRITTEN_OUT,Z_67_A_IBM_1401_45,R_67_7_THE_PROGRAM,R_67_22_STEP,R_67_24_STEP,R_67_2_THE_REPORT_PROGRAM_GENERATOR,R_67_20_DETAIL] :
      ( major(R_67_12_MAJOR)
      & total(R_67_13_TOTAL)
      & the_program(R_67_7_THE_PROGRAM)
      & step(R_67_24_STEP)
      & the_Report_Program_Generator(R_67_2_THE_REPORT_PROGRAM_GENERATOR)
      & detail(R_67_20_DETAIL)
      & to_get(R_67_9_TO_GET,R_67_7_THE_PROGRAM,R_67_11_THE_LINE)
      & the_Line(R_67_11_THE_LINE)
      & attrib31(R_67_11_THE_LINE,R_67_12_MAJOR)
      & attrib34(R_67_11_THE_LINE,R_67_13_TOTAL)
      & would_be_written_out(R_67_15_WOULD_BE_WRITTEN_OUT,Z_67_A_IBM_1401_45,R_67_7_THE_PROGRAM)
      & nim59(R_67_15_WOULD_BE_WRITTEN_OUT,R_67_22_STEP)
      & step(R_67_22_STEP)
      & by(R_67_22_STEP,R_67_24_STEP)
      & without_nim5(R_67_15_WOULD_BE_WRITTEN_OUT,R_67_2_THE_REPORT_PROGRAM_GENERATOR)
      & in_nim54(R_67_15_WOULD_BE_WRITTEN_OUT,R_67_20_DETAIL) ) ).


n67_a_ibm_1401 n67_a_ibm_1401_4 Without n67_a_ibm_1401_7 the n67_a_ibm_1401_9 Report n67_a_ibm_1401_11 Program n67_a_ibm_1401_13 Generator n67_a_ibm_1401_15 , n67_a_ibm_1401_18 the n67_a_ibm_1401_20 program n67_a_ibm_1401_23 *T* n67_a_ibm_1401_25 to n67_a_ibm_1401_27 get n67_a_ibm_1401_30 the n67_a_ibm_1401_33 Major n67_a_ibm_1401_36 Total n67_a_ibm_1401_38 Line n67_a_ibm_1401_40 would n67_a_ibm_1401_43 be n67_a_ibm_1401_46 * n67_a_ibm_1401_48 written n67_a_ibm_1401_50 out n67_a_ibm_1401_53 in n67_a_ibm_1401_56 detail n67_a_ibm_1401_58 , n67_a_ibm_1401_61 step n67_a_ibm_1401_64 by n67_a_ibm_1401_67 step n67_a_ibm_1401_69 : n67_a_ibm_1401_1 IP-MAT n67_a_ibm_1401_2 PP-NIM n67_a_ibm_1401_1->n67_a_ibm_1401_2 n67_a_ibm_1401_14 PUNC n67_a_ibm_1401_1->n67_a_ibm_1401_14 n67_a_ibm_1401_16 NP-SBJ n67_a_ibm_1401_1->n67_a_ibm_1401_16 n67_a_ibm_1401_39 MD;_cat_Vi_ n67_a_ibm_1401_1->n67_a_ibm_1401_39 n67_a_ibm_1401_41 IP-INF-CAT n67_a_ibm_1401_1->n67_a_ibm_1401_41 n67_a_ibm_1401_68 PUNC n67_a_ibm_1401_1->n67_a_ibm_1401_68 n67_a_ibm_1401_3 P-ROLE n67_a_ibm_1401_2->n67_a_ibm_1401_3 n67_a_ibm_1401_5 NP n67_a_ibm_1401_2->n67_a_ibm_1401_5 n67_a_ibm_1401_3->n67_a_ibm_1401_4 n67_a_ibm_1401_6 D n67_a_ibm_1401_5->n67_a_ibm_1401_6 n67_a_ibm_1401_8 N n67_a_ibm_1401_5->n67_a_ibm_1401_8 n67_a_ibm_1401_10 N n67_a_ibm_1401_5->n67_a_ibm_1401_10 n67_a_ibm_1401_12 N n67_a_ibm_1401_5->n67_a_ibm_1401_12 n67_a_ibm_1401_6->n67_a_ibm_1401_7 n67_a_ibm_1401_8->n67_a_ibm_1401_9 n67_a_ibm_1401_10->n67_a_ibm_1401_11 n67_a_ibm_1401_12->n67_a_ibm_1401_13 n67_a_ibm_1401_14->n67_a_ibm_1401_15 n67_a_ibm_1401_17 D n67_a_ibm_1401_16->n67_a_ibm_1401_17 n67_a_ibm_1401_19 N n67_a_ibm_1401_16->n67_a_ibm_1401_19 n67_a_ibm_1401_21 IP-INF-REL n67_a_ibm_1401_16->n67_a_ibm_1401_21 n67_a_ibm_1401_17->n67_a_ibm_1401_18 n67_a_ibm_1401_19->n67_a_ibm_1401_20 n67_a_ibm_1401_22 NP-SBJ n67_a_ibm_1401_21->n67_a_ibm_1401_22 n67_a_ibm_1401_24 TO n67_a_ibm_1401_21->n67_a_ibm_1401_24 n67_a_ibm_1401_26 VB;_Tn_ n67_a_ibm_1401_21->n67_a_ibm_1401_26 n67_a_ibm_1401_28 NP-OB1 n67_a_ibm_1401_21->n67_a_ibm_1401_28 n67_a_ibm_1401_22->n67_a_ibm_1401_23 n67_a_ibm_1401_24->n67_a_ibm_1401_25 n67_a_ibm_1401_26->n67_a_ibm_1401_27 n67_a_ibm_1401_29 D n67_a_ibm_1401_28->n67_a_ibm_1401_29 n67_a_ibm_1401_31 ADJP n67_a_ibm_1401_28->n67_a_ibm_1401_31 n67_a_ibm_1401_34 ADJP n67_a_ibm_1401_28->n67_a_ibm_1401_34 n67_a_ibm_1401_37 N n67_a_ibm_1401_28->n67_a_ibm_1401_37 n67_a_ibm_1401_29->n67_a_ibm_1401_30 n67_a_ibm_1401_32 ADJ n67_a_ibm_1401_31->n67_a_ibm_1401_32 n67_a_ibm_1401_32->n67_a_ibm_1401_33 n67_a_ibm_1401_35 ADJ n67_a_ibm_1401_34->n67_a_ibm_1401_35 n67_a_ibm_1401_35->n67_a_ibm_1401_36 n67_a_ibm_1401_37->n67_a_ibm_1401_38 n67_a_ibm_1401_39->n67_a_ibm_1401_40 n67_a_ibm_1401_42 BE;_cat_VePASS_ n67_a_ibm_1401_41->n67_a_ibm_1401_42 n67_a_ibm_1401_44 IP-PPL-CAT n67_a_ibm_1401_41->n67_a_ibm_1401_44 n67_a_ibm_1401_42->n67_a_ibm_1401_43 n67_a_ibm_1401_45 NP-LGS n67_a_ibm_1401_44->n67_a_ibm_1401_45 n67_a_ibm_1401_47 VVN;_phr_Vn<=>p_ n67_a_ibm_1401_44->n67_a_ibm_1401_47 n67_a_ibm_1401_49 RP n67_a_ibm_1401_44->n67_a_ibm_1401_49 n67_a_ibm_1401_51 PP-NIM n67_a_ibm_1401_44->n67_a_ibm_1401_51 n67_a_ibm_1401_57 PUNC n67_a_ibm_1401_44->n67_a_ibm_1401_57 n67_a_ibm_1401_59 NP-NIM n67_a_ibm_1401_44->n67_a_ibm_1401_59 n67_a_ibm_1401_45->n67_a_ibm_1401_46 n67_a_ibm_1401_47->n67_a_ibm_1401_48 n67_a_ibm_1401_49->n67_a_ibm_1401_50 n67_a_ibm_1401_52 P-ROLE n67_a_ibm_1401_51->n67_a_ibm_1401_52 n67_a_ibm_1401_54 NP n67_a_ibm_1401_51->n67_a_ibm_1401_54 n67_a_ibm_1401_52->n67_a_ibm_1401_53 n67_a_ibm_1401_55 N n67_a_ibm_1401_54->n67_a_ibm_1401_55 n67_a_ibm_1401_55->n67_a_ibm_1401_56 n67_a_ibm_1401_57->n67_a_ibm_1401_58 n67_a_ibm_1401_60 N n67_a_ibm_1401_59->n67_a_ibm_1401_60 n67_a_ibm_1401_62 PP n67_a_ibm_1401_59->n67_a_ibm_1401_62 n67_a_ibm_1401_60->n67_a_ibm_1401_61 n67_a_ibm_1401_63 P-ROLE n67_a_ibm_1401_62->n67_a_ibm_1401_63 n67_a_ibm_1401_65 NP n67_a_ibm_1401_62->n67_a_ibm_1401_65 n67_a_ibm_1401_63->n67_a_ibm_1401_64 n67_a_ibm_1401_66 N n67_a_ibm_1401_65->n67_a_ibm_1401_66 n67_a_ibm_1401_66->n67_a_ibm_1401_67 n67_a_ibm_1401_68->n67_a_ibm_1401_69 
( (IP-MAT (PP-NIM (P-ROLE Without;{without})
                  (NP;{REPORT_GENERATOR} (D the;{the})
                                         (N Report;{report})
                                         (N Program;{program})
                                         (N Generator;{generator})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N program;{program})
                  (IP-INF-REL (NP-SBJ *T*)
                              (TO to;{to})
                              (VB;_Tn_ get;{get})
                              (NP-OB1;{LINE} (D the;{the})
                                             (ADJP (ADJ Major;{major}))
                                             (ADJP (ADJ Total;{total}))
                                             (N Line;{line}))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_phr_Vn<=>p_ written;{write[out]})
                                  (RP out;{out})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (N detail;{detail})))
                                  (PUNC ,)
                                  (NP-NIM (N step;{step})
                                          (PP (P-ROLE by;{by})
                                              (NP (N step;{step}))))))
          (PUNC :))
  (ID 67_a_ibm_1401))