Context                Previous, Next                Top


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 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] 
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_4 This n66_a_ibm_1401_6 example n66_a_ibm_1401_8 illustrates n66_a_ibm_1401_13 how n66_a_ibm_1401_16 the n66_a_ibm_1401_18 Report n66_a_ibm_1401_20 Program n66_a_ibm_1401_22 Generator n66_a_ibm_1401_24 simplifies n66_a_ibm_1401_27 the n66_a_ibm_1401_29 preparation n66_a_ibm_1401_32 of n66_a_ibm_1401_35 one n66_a_ibm_1401_37 part n66_a_ibm_1401_40 of n66_a_ibm_1401_43 an n66_a_ibm_1401_45 Expense n66_a_ibm_1401_47 Distribution n66_a_ibm_1401_49 Report n66_a_ibm_1401_51 -LRB- n66_a_ibm_1401_55 The n66_a_ibm_1401_58 Major n66_a_ibm_1401_61 Total n66_a_ibm_1401_63 Line n66_a_ibm_1401_65 -RRB- n66_a_ibm_1401_67 : n66_a_ibm_1401_1 IP-MAT n66_a_ibm_1401_2 NP-SBJ n66_a_ibm_1401_1->n66_a_ibm_1401_2 n66_a_ibm_1401_7 VBP;_Tw_ n66_a_ibm_1401_1->n66_a_ibm_1401_7 n66_a_ibm_1401_9 CP-QUE-OB1 n66_a_ibm_1401_1->n66_a_ibm_1401_9 n66_a_ibm_1401_66 PUNC n66_a_ibm_1401_1->n66_a_ibm_1401_66 n66_a_ibm_1401_3 D n66_a_ibm_1401_2->n66_a_ibm_1401_3 n66_a_ibm_1401_5 N n66_a_ibm_1401_2->n66_a_ibm_1401_5 n66_a_ibm_1401_3->n66_a_ibm_1401_4 n66_a_ibm_1401_5->n66_a_ibm_1401_6 n66_a_ibm_1401_7->n66_a_ibm_1401_8 n66_a_ibm_1401_10 IP-SUB n66_a_ibm_1401_9->n66_a_ibm_1401_10 n66_a_ibm_1401_11 ADVP-NIM n66_a_ibm_1401_10->n66_a_ibm_1401_11 n66_a_ibm_1401_14 NP-SBJ n66_a_ibm_1401_10->n66_a_ibm_1401_14 n66_a_ibm_1401_23 VBP;_Tn_ n66_a_ibm_1401_10->n66_a_ibm_1401_23 n66_a_ibm_1401_25 NP-OB1 n66_a_ibm_1401_10->n66_a_ibm_1401_25 n66_a_ibm_1401_12 WADV n66_a_ibm_1401_11->n66_a_ibm_1401_12 n66_a_ibm_1401_12->n66_a_ibm_1401_13 n66_a_ibm_1401_15 D n66_a_ibm_1401_14->n66_a_ibm_1401_15 n66_a_ibm_1401_17 N n66_a_ibm_1401_14->n66_a_ibm_1401_17 n66_a_ibm_1401_19 N n66_a_ibm_1401_14->n66_a_ibm_1401_19 n66_a_ibm_1401_21 N n66_a_ibm_1401_14->n66_a_ibm_1401_21 n66_a_ibm_1401_15->n66_a_ibm_1401_16 n66_a_ibm_1401_17->n66_a_ibm_1401_18 n66_a_ibm_1401_19->n66_a_ibm_1401_20 n66_a_ibm_1401_21->n66_a_ibm_1401_22 n66_a_ibm_1401_23->n66_a_ibm_1401_24 n66_a_ibm_1401_26 D n66_a_ibm_1401_25->n66_a_ibm_1401_26 n66_a_ibm_1401_28 N n66_a_ibm_1401_25->n66_a_ibm_1401_28 n66_a_ibm_1401_30 PP n66_a_ibm_1401_25->n66_a_ibm_1401_30 n66_a_ibm_1401_26->n66_a_ibm_1401_27 n66_a_ibm_1401_28->n66_a_ibm_1401_29 n66_a_ibm_1401_31 P-ROLE n66_a_ibm_1401_30->n66_a_ibm_1401_31 n66_a_ibm_1401_33 NP n66_a_ibm_1401_30->n66_a_ibm_1401_33 n66_a_ibm_1401_31->n66_a_ibm_1401_32 n66_a_ibm_1401_34 NUM n66_a_ibm_1401_33->n66_a_ibm_1401_34 n66_a_ibm_1401_36 N n66_a_ibm_1401_33->n66_a_ibm_1401_36 n66_a_ibm_1401_38 PP n66_a_ibm_1401_33->n66_a_ibm_1401_38 n66_a_ibm_1401_34->n66_a_ibm_1401_35 n66_a_ibm_1401_36->n66_a_ibm_1401_37 n66_a_ibm_1401_39 P-ROLE n66_a_ibm_1401_38->n66_a_ibm_1401_39 n66_a_ibm_1401_41 NP n66_a_ibm_1401_38->n66_a_ibm_1401_41 n66_a_ibm_1401_39->n66_a_ibm_1401_40 n66_a_ibm_1401_42 D n66_a_ibm_1401_41->n66_a_ibm_1401_42 n66_a_ibm_1401_44 N n66_a_ibm_1401_41->n66_a_ibm_1401_44 n66_a_ibm_1401_46 N n66_a_ibm_1401_41->n66_a_ibm_1401_46 n66_a_ibm_1401_48 N n66_a_ibm_1401_41->n66_a_ibm_1401_48 n66_a_ibm_1401_50 PULB n66_a_ibm_1401_41->n66_a_ibm_1401_50 n66_a_ibm_1401_52 IP-PPL n66_a_ibm_1401_41->n66_a_ibm_1401_52 n66_a_ibm_1401_64 PURB n66_a_ibm_1401_41->n66_a_ibm_1401_64 n66_a_ibm_1401_42->n66_a_ibm_1401_43 n66_a_ibm_1401_44->n66_a_ibm_1401_45 n66_a_ibm_1401_46->n66_a_ibm_1401_47 n66_a_ibm_1401_48->n66_a_ibm_1401_49 n66_a_ibm_1401_50->n66_a_ibm_1401_51 n66_a_ibm_1401_53 NP-PRD n66_a_ibm_1401_52->n66_a_ibm_1401_53 n66_a_ibm_1401_54 D n66_a_ibm_1401_53->n66_a_ibm_1401_54 n66_a_ibm_1401_56 ADJP n66_a_ibm_1401_53->n66_a_ibm_1401_56 n66_a_ibm_1401_59 ADJP n66_a_ibm_1401_53->n66_a_ibm_1401_59 n66_a_ibm_1401_62 N n66_a_ibm_1401_53->n66_a_ibm_1401_62 n66_a_ibm_1401_54->n66_a_ibm_1401_55 n66_a_ibm_1401_57 ADJ n66_a_ibm_1401_56->n66_a_ibm_1401_57 n66_a_ibm_1401_57->n66_a_ibm_1401_58 n66_a_ibm_1401_60 ADJ n66_a_ibm_1401_59->n66_a_ibm_1401_60 n66_a_ibm_1401_60->n66_a_ibm_1401_61 n66_a_ibm_1401_62->n66_a_ibm_1401_63 n66_a_ibm_1401_64->n66_a_ibm_1401_65 n66_a_ibm_1401_66->n66_a_ibm_1401_67 
( (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))