TSPC 67_a_ibm

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:

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

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

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