66_a_ibm_1401
This example illustrates how the Report Program Generator simplifies the preparation of one part of an Expense Distribution Report (The Major Total Line):

%3 r_0066_0003__illustrates illustrates r_0066_0001__This_r_0066_0002__example This example r_0066_0003__illustrates->r_0066_0001__This_r_0066_0002__example [arg0] r_0066_0009__simplifies simplifies r_0066_0003__illustrates->r_0066_0009__simplifies [arg1] r_0066_0004__how how r_0066_0009__simplifies->r_0066_0004__how [nim] r_0066_0005__the_r_0066_0006__Report_r_0066_0007__Program_r_0066_0008__Generator the Report Program Generator r_0066_0009__simplifies->r_0066_0005__the_r_0066_0006__Report_r_0066_0007__Program_r_0066_0008__Generator [arg0] r_0066_0010__the_r_0066_0011__preparation the preparation r_0066_0009__simplifies->r_0066_0010__the_r_0066_0011__preparation [arg1] r_0066_0013__one_r_0066_0014__part one part r_0066_0010__the_r_0066_0011__preparation->r_0066_0013__one_r_0066_0014__part of r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report an Expense Distribution Report r_0066_0013__one_r_0066_0014__part->r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report of r_0066_0021__The_r_0066_0024__Line The Line r_0066_0022__Major Major r_0066_0021__The_r_0066_0024__Line->r_0066_0022__Major [attrib] r_0066_0023__Total Total r_0066_0021__The_r_0066_0024__Line->r_0066_0023__Total [attrib] z_000_66_a_ibm_1401_52 z_000_66_a_ibm_1401_52->r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report [arg0] z_000_66_a_ibm_1401_52->r_0066_0021__The_r_0066_0024__Line [prd]
arc(r_0066_0003__illustrates, r_0066_0001__This_r_0066_0002__example, arg0).
arc(r_0066_0003__illustrates, r_0066_0009__simplifies, arg1).
arc(r_0066_0009__simplifies, r_0066_0004__how, nim11).
arc(r_0066_0009__simplifies, r_0066_0005__the_r_0066_0006__Report_r_0066_0007__Program_r_0066_0008__Generator, arg0).
arc(r_0066_0009__simplifies, r_0066_0010__the_r_0066_0011__preparation, arg1).
arc(r_0066_0010__the_r_0066_0011__preparation, r_0066_0013__one_r_0066_0014__part, r_0066_0012__of).
arc(r_0066_0013__one_r_0066_0014__part, r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report, r_0066_0015__of).
arc(r_0066_0021__The_r_0066_0024__Line, r_0066_0022__Major, attrib56).
arc(r_0066_0021__The_r_0066_0024__Line, r_0066_0023__Total, attrib59).
arc(z_000_66_a_ibm_1401_52, r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report, arg0).
arc(z_000_66_a_ibm_1401_52, r_0066_0021__The_r_0066_0024__Line, prd).



%3 z_000_66_a_ibm_1401_52 r_0066_0021__The_r_0066_0024__Line The Line z_000_66_a_ibm_1401_52->r_0066_0021__The_r_0066_0024__Line [prd] r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report an Expense Distribution Report z_000_66_a_ibm_1401_52->r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report [arg0] r_0066_0023__Total Total r_0066_0021__The_r_0066_0024__Line->r_0066_0023__Total [attrib] r_0066_0022__Major Major r_0066_0021__The_r_0066_0024__Line->r_0066_0022__Major [attrib] r_0066_0013__one_r_0066_0014__part one part r_0066_0013__one_r_0066_0014__part->r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report of r_0066_0010__the_r_0066_0011__preparation the preparation r_0066_0010__the_r_0066_0011__preparation->r_0066_0013__one_r_0066_0014__part of r_0066_0009__simplifies simplifies r_0066_0009__simplifies->r_0066_0010__the_r_0066_0011__preparation [arg1] r_0066_0005__the_r_0066_0006__Report_r_0066_0007__Program_r_0066_0008__Generator the Report Program Generator r_0066_0009__simplifies->r_0066_0005__the_r_0066_0006__Report_r_0066_0007__Program_r_0066_0008__Generator [arg0] r_0066_0004__how how r_0066_0009__simplifies->r_0066_0004__how [nim] r_0066_0003__illustrates illustrates r_0066_0003__illustrates->r_0066_0009__simplifies [arg1] r_0066_0001__This_r_0066_0002__example This example r_0066_0003__illustrates->r_0066_0001__This_r_0066_0002__example [arg0]
fof(formula,axiom,
    ? [R_66_3_ILLUSTRATES,R_66_1_THIS_EXAMPLE,R_66_9_SIMPLIFIES,R_66_5_THE_REPORT_PROGRAM_GENERATOR,R_66_10_THE_PREPARATION,R_66_13_ONE_PART,R_66_4_HOW,Z_66_A_IBM_1401_52,R_66_16_AN_EXPENSE_DISTRIBUTION_REPORT,R_66_21_THE_LINE,R_66_22_MAJOR,R_66_23_TOTAL] :
      ( this_example(R_66_1_THIS_EXAMPLE)
      & the_Report_Program_Generator(R_66_5_THE_REPORT_PROGRAM_GENERATOR)
      & how(R_66_4_HOW)
      & an_Expense_Distribution_Report(R_66_16_AN_EXPENSE_DISTRIBUTION_REPORT)
      & major(R_66_22_MAJOR)
      & total(R_66_23_TOTAL)
      & illustrates(R_66_3_ILLUSTRATES,R_66_1_THIS_EXAMPLE,R_66_9_SIMPLIFIES)
      & simplifies(R_66_9_SIMPLIFIES,R_66_5_THE_REPORT_PROGRAM_GENERATOR,R_66_10_THE_PREPARATION)
      & the_preparation(R_66_10_THE_PREPARATION)
      & of(R_66_10_THE_PREPARATION,R_66_13_ONE_PART)
      & one_part(R_66_13_ONE_PART)
      & of(R_66_13_ONE_PART,R_66_16_AN_EXPENSE_DISTRIBUTION_REPORT)
      & nim11(R_66_9_SIMPLIFIES,R_66_4_HOW)
      & z_66_a_ibm_1401_52(Z_66_A_IBM_1401_52,R_66_16_AN_EXPENSE_DISTRIBUTION_REPORT,R_66_21_THE_LINE)
      & the_Line(R_66_21_THE_LINE)
      & attrib56(R_66_21_THE_LINE,R_66_22_MAJOR)
      & attrib59(R_66_21_THE_LINE,R_66_23_TOTAL) ) ).



n66_a_ibm_1401 n66_a_ibm_1401__1_1_1_1 This n66_a_ibm_1401__1_1_2_1 example n66_a_ibm_1401__1_2_1 illustrates n66_a_ibm_1401__1_3_1_1_1_1 how n66_a_ibm_1401__1_3_1_2_1_1 the n66_a_ibm_1401__1_3_1_2_2_1 Report n66_a_ibm_1401__1_3_1_2_3_1 Program n66_a_ibm_1401__1_3_1_2_4_1 Generator n66_a_ibm_1401__1_3_1_3_1 simplifies n66_a_ibm_1401__1_3_1_4_1_1 the n66_a_ibm_1401__1_3_1_4_2_1 preparation n66_a_ibm_1401__1_3_1_4_3_1_1 of n66_a_ibm_1401__1_3_1_4_3_2_1_1 one n66_a_ibm_1401__1_3_1_4_3_2_2_1 part n66_a_ibm_1401__1_3_1_4_3_2_3_1_1 of n66_a_ibm_1401__1_3_1_4_3_2_3_2_1_1 an n66_a_ibm_1401__1_3_1_4_3_2_3_2_2_1 Expense n66_a_ibm_1401__1_3_1_4_3_2_3_2_3_1 Distribution n66_a_ibm_1401__1_3_1_4_3_2_3_2_4_1 Report n66_a_ibm_1401__1_3_1_4_3_2_3_2_5_1 -LRB- n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_1_1 The n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2_1_1 Major n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3_1_1 Total n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_4_1 Line n66_a_ibm_1401__1_3_1_4_3_2_3_2_7_1 -RRB- n66_a_ibm_1401__1_4_1 : n66_a_ibm_1401__1 IP-MAT n66_a_ibm_1401__1_1 NP-SBJ n66_a_ibm_1401__1->n66_a_ibm_1401__1_1 n66_a_ibm_1401__1_2 VBP;_Tw_ n66_a_ibm_1401__1->n66_a_ibm_1401__1_2 n66_a_ibm_1401__1_3 CP-QUE-OB1 n66_a_ibm_1401__1->n66_a_ibm_1401__1_3 n66_a_ibm_1401__1_4 PUNC n66_a_ibm_1401__1->n66_a_ibm_1401__1_4 n66_a_ibm_1401__1_1_1 D n66_a_ibm_1401__1_1->n66_a_ibm_1401__1_1_1 n66_a_ibm_1401__1_1_2 N n66_a_ibm_1401__1_1->n66_a_ibm_1401__1_1_2 n66_a_ibm_1401__1_1_1->n66_a_ibm_1401__1_1_1_1 n66_a_ibm_1401__1_1_2->n66_a_ibm_1401__1_1_2_1 n66_a_ibm_1401__1_2->n66_a_ibm_1401__1_2_1 n66_a_ibm_1401__1_3_1 IP-SUB n66_a_ibm_1401__1_3->n66_a_ibm_1401__1_3_1 n66_a_ibm_1401__1_3_1_1 ADVP-NIM n66_a_ibm_1401__1_3_1->n66_a_ibm_1401__1_3_1_1 n66_a_ibm_1401__1_3_1_2 NP-SBJ n66_a_ibm_1401__1_3_1->n66_a_ibm_1401__1_3_1_2 n66_a_ibm_1401__1_3_1_3 VBP;_Tn_ n66_a_ibm_1401__1_3_1->n66_a_ibm_1401__1_3_1_3 n66_a_ibm_1401__1_3_1_4 NP-OB1 n66_a_ibm_1401__1_3_1->n66_a_ibm_1401__1_3_1_4 n66_a_ibm_1401__1_3_1_1_1 WADV n66_a_ibm_1401__1_3_1_1->n66_a_ibm_1401__1_3_1_1_1 n66_a_ibm_1401__1_3_1_1_1->n66_a_ibm_1401__1_3_1_1_1_1 n66_a_ibm_1401__1_3_1_2_1 D n66_a_ibm_1401__1_3_1_2->n66_a_ibm_1401__1_3_1_2_1 n66_a_ibm_1401__1_3_1_2_2 N n66_a_ibm_1401__1_3_1_2->n66_a_ibm_1401__1_3_1_2_2 n66_a_ibm_1401__1_3_1_2_3 N n66_a_ibm_1401__1_3_1_2->n66_a_ibm_1401__1_3_1_2_3 n66_a_ibm_1401__1_3_1_2_4 N n66_a_ibm_1401__1_3_1_2->n66_a_ibm_1401__1_3_1_2_4 n66_a_ibm_1401__1_3_1_2_1->n66_a_ibm_1401__1_3_1_2_1_1 n66_a_ibm_1401__1_3_1_2_2->n66_a_ibm_1401__1_3_1_2_2_1 n66_a_ibm_1401__1_3_1_2_3->n66_a_ibm_1401__1_3_1_2_3_1 n66_a_ibm_1401__1_3_1_2_4->n66_a_ibm_1401__1_3_1_2_4_1 n66_a_ibm_1401__1_3_1_3->n66_a_ibm_1401__1_3_1_3_1 n66_a_ibm_1401__1_3_1_4_1 D n66_a_ibm_1401__1_3_1_4->n66_a_ibm_1401__1_3_1_4_1 n66_a_ibm_1401__1_3_1_4_2 N n66_a_ibm_1401__1_3_1_4->n66_a_ibm_1401__1_3_1_4_2 n66_a_ibm_1401__1_3_1_4_3 PP n66_a_ibm_1401__1_3_1_4->n66_a_ibm_1401__1_3_1_4_3 n66_a_ibm_1401__1_3_1_4_1->n66_a_ibm_1401__1_3_1_4_1_1 n66_a_ibm_1401__1_3_1_4_2->n66_a_ibm_1401__1_3_1_4_2_1 n66_a_ibm_1401__1_3_1_4_3_1 P-ROLE n66_a_ibm_1401__1_3_1_4_3->n66_a_ibm_1401__1_3_1_4_3_1 n66_a_ibm_1401__1_3_1_4_3_2 NP n66_a_ibm_1401__1_3_1_4_3->n66_a_ibm_1401__1_3_1_4_3_2 n66_a_ibm_1401__1_3_1_4_3_1->n66_a_ibm_1401__1_3_1_4_3_1_1 n66_a_ibm_1401__1_3_1_4_3_2_1 NUM n66_a_ibm_1401__1_3_1_4_3_2->n66_a_ibm_1401__1_3_1_4_3_2_1 n66_a_ibm_1401__1_3_1_4_3_2_2 N n66_a_ibm_1401__1_3_1_4_3_2->n66_a_ibm_1401__1_3_1_4_3_2_2 n66_a_ibm_1401__1_3_1_4_3_2_3 PP n66_a_ibm_1401__1_3_1_4_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3 n66_a_ibm_1401__1_3_1_4_3_2_1->n66_a_ibm_1401__1_3_1_4_3_2_1_1 n66_a_ibm_1401__1_3_1_4_3_2_2->n66_a_ibm_1401__1_3_1_4_3_2_2_1 n66_a_ibm_1401__1_3_1_4_3_2_3_1 P-ROLE n66_a_ibm_1401__1_3_1_4_3_2_3->n66_a_ibm_1401__1_3_1_4_3_2_3_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2 NP n66_a_ibm_1401__1_3_1_4_3_2_3->n66_a_ibm_1401__1_3_1_4_3_2_3_2 n66_a_ibm_1401__1_3_1_4_3_2_3_1->n66_a_ibm_1401__1_3_1_4_3_2_3_1_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_1 D n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_2 N n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_2 n66_a_ibm_1401__1_3_1_4_3_2_3_2_3 N n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_3 n66_a_ibm_1401__1_3_1_4_3_2_3_2_4 N n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_4 n66_a_ibm_1401__1_3_1_4_3_2_3_2_5 PULB n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_5 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6 IP-PPL n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6 n66_a_ibm_1401__1_3_1_4_3_2_3_2_7 PURB n66_a_ibm_1401__1_3_1_4_3_2_3_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_7 n66_a_ibm_1401__1_3_1_4_3_2_3_2_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_1_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_2_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_3->n66_a_ibm_1401__1_3_1_4_3_2_3_2_3_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_4->n66_a_ibm_1401__1_3_1_4_3_2_3_2_4_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_5->n66_a_ibm_1401__1_3_1_4_3_2_3_2_5_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1 NP-PRD n66_a_ibm_1401__1_3_1_4_3_2_3_2_6->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_1 D n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2 ADJP n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3 ADJP n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_4 N n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_4 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_1_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2_1 ADJ n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_2_1_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3_1 ADJ n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3_1->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_3_1_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_4->n66_a_ibm_1401__1_3_1_4_3_2_3_2_6_1_4_1 n66_a_ibm_1401__1_3_1_4_3_2_3_2_7->n66_a_ibm_1401__1_3_1_4_3_2_3_2_7_1 n66_a_ibm_1401__1_4->n66_a_ibm_1401__1_4_1
( (IP-MAT (NP-SBJ (D This;{this})
                  (N example;{example}))
          (VBP;_Tw_ illustrates;{illustrate})
          (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV how;{how}))
                              (NP-SBJ;{REPORT_GENERATOR} (D the;{the})
                                                         (N Report;{report})
                                                         (N Program;{program})
                                                         (N Generator;{generator}))
                              (VBP;_Tn_ simplifies;{simplify})
                              (NP-OB1 (D the;{the})
                                      (N preparation;{preparation})
                                      (PP (P-ROLE of;{of})
                                          (NP (NUM one;{one})
                                              (N part;{part})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D an;{an})
                                                      (N Expense;{expense})
                                                      (N Distribution;{distribution})
                                                      (N Report;{report})
                                                      (PULB -LRB-)
                                                      (IP-PPL (NP-PRD;{LINE} (D The;{the})
                                                                             (ADJP (ADJ Major;{major}))
                                                                             (ADJP (ADJ Total;{total}))
                                                                             (N Line;{line})))
                                                      (PURB -RRB-))))))))
          (PUNC :))
  (ID 66_a_ibm_1401))