TSPC 66_a_ibm

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):

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).

fof(formula,axiom,
    ? [R_0066_0001__THIS_R_0066_0002__EXAMPLE,R_0066_0004__HOW,R_0066_0005__THE_R_0066_0006__REPORT_R_0066_0007__PROGRAM_R_0066_0008__GENERATOR,R_0066_0016__AN_R_0066_0017__EXPENSE_R_0066_0018__DISTRIBUTION_R_0066_0019__REPORT,R_0066_0013__ONE_R_0066_0014__PART,R_0066_0010__THE_R_0066_0011__PREPARATION,R_0066_0009__SIMPLIFIES,R_0066_0003__ILLUSTRATES,R_0066_0022__MAJOR,R_0066_0023__TOTAL,R_0066_0021__THE_R_0066_0024__LINE,Z_000_66_A_IBM_1401_52] :
      ( r_0066_0001__This_r_0066_0002__example(R_0066_0001__THIS_R_0066_0002__EXAMPLE)
      & r_0066_0004__how(R_0066_0004__HOW)
      & r_0066_0005__the_r_0066_0006__Report_r_0066_0007__Program_r_0066_0008__Generator(R_0066_0005__THE_R_0066_0006__REPORT_R_0066_0007__PROGRAM_R_0066_0008__GENERATOR)
      & r_0066_0016__an_r_0066_0017__Expense_r_0066_0018__Distribution_r_0066_0019__Report(R_0066_0016__AN_R_0066_0017__EXPENSE_R_0066_0018__DISTRIBUTION_R_0066_0019__REPORT)
      & r_0066_0022__Major(R_0066_0022__MAJOR)
      & r_0066_0023__Total(R_0066_0023__TOTAL)
      & z_000_66_a_ibm_1401_52(Z_000_66_A_IBM_1401_52)
      & has_prd(Z_000_66_A_IBM_1401_52,R_0066_0021__THE_R_0066_0024__LINE)
      & r_0066_0021__The_r_0066_0024__Line(R_0066_0021__THE_R_0066_0024__LINE)
      & has_attrib59(R_0066_0021__THE_R_0066_0024__LINE,R_0066_0023__TOTAL)
      & has_attrib56(R_0066_0021__THE_R_0066_0024__LINE,R_0066_0022__MAJOR)
      & has_arg0(Z_000_66_A_IBM_1401_52,R_0066_0016__AN_R_0066_0017__EXPENSE_R_0066_0018__DISTRIBUTION_R_0066_0019__REPORT)
      & r_0066_0003__illustrates(R_0066_0003__ILLUSTRATES)
      & has_arg1(R_0066_0003__ILLUSTRATES,R_0066_0009__SIMPLIFIES)
      & r_0066_0009__simplifies(R_0066_0009__SIMPLIFIES)
      & has_arg1(R_0066_0009__SIMPLIFIES,R_0066_0010__THE_R_0066_0011__PREPARATION)
      & r_0066_0010__the_r_0066_0011__preparation(R_0066_0010__THE_R_0066_0011__PREPARATION)
      & has_r_0066_0012__of(R_0066_0010__THE_R_0066_0011__PREPARATION,R_0066_0013__ONE_R_0066_0014__PART)
      & r_0066_0013__one_r_0066_0014__part(R_0066_0013__ONE_R_0066_0014__PART)
      & has_r_0066_0015__of(R_0066_0013__ONE_R_0066_0014__PART,R_0066_0016__AN_R_0066_0017__EXPENSE_R_0066_0018__DISTRIBUTION_R_0066_0019__REPORT)
      & has_arg0(R_0066_0009__SIMPLIFIES,R_0066_0005__THE_R_0066_0006__REPORT_R_0066_0007__PROGRAM_R_0066_0008__GENERATOR)
      & has_nim11(R_0066_0009__SIMPLIFIES,R_0066_0004__HOW)
      & has_arg0(R_0066_0003__ILLUSTRATES,R_0066_0001__THIS_R_0066_0002__EXAMPLE) ) ).

( (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))