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:
( (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))
arc(r_0067_0010__get,r_0067_0007__the_r_0067_0008__program,inv_arg0).
arc(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,attrib).
arc(r_0067_0011__the_r_0067_0014__Line,r_0067_0013__Total,attrib).
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__nim).
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__nim).
arc(r_0067_0017__written_r_0067_0018__out,r_0067_0022__step,nim).
arc(r_0067_0017__written_r_0067_0018__out,z_0067_5012___star_,arg0).
arc(r_0067_0022__step,r_0067_0024__step,r_0067_0023__by).
fof(formula,axiom,
? [R_0067_0002__THE_R_0067_0003__REPORT_R_0067_0004__PROGRAM_R_0067_0005__GENERATOR,R_0067_0012__MAJOR,R_0067_0013__TOTAL,R_0067_0011__THE_R_0067_0014__LINE,R_0067_0010__GET,R_0067_0007__THE_R_0067_0008__PROGRAM,R_0067_0020__DETAIL,R_0067_0024__STEP,R_0067_0022__STEP,Z_0067_5012___STAR_,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(R_0067_0002__THE_R_0067_0003__REPORT_R_0067_0004__PROGRAM_R_0067_0005__GENERATOR)
& r_0067_0012__Major(R_0067_0012__MAJOR)
& r_0067_0013__Total(R_0067_0013__TOTAL)
& r_0067_0020__detail(R_0067_0020__DETAIL)
& r_0067_0024__step(R_0067_0024__STEP)
& z_0067_5012___star_(Z_0067_5012___STAR_)
& r_0067_0015__would_r_0067_0016__be_r_0067_0017__written_r_0067_0018__out(R_0067_0015__WOULD_R_0067_0016__BE_R_0067_0017__WRITTEN_R_0067_0018__OUT)
& has_arg0(R_0067_0015__WOULD_R_0067_0016__BE_R_0067_0017__WRITTEN_R_0067_0018__OUT,Z_0067_5012___STAR_)
& has_nim(R_0067_0015__WOULD_R_0067_0016__BE_R_0067_0017__WRITTEN_R_0067_0018__OUT,R_0067_0022__STEP)
& r_0067_0022__step(R_0067_0022__STEP)
& has_r_0067_0023__by(R_0067_0022__STEP,R_0067_0024__STEP)
& has_r_0067_0019__in__nim(R_0067_0015__WOULD_R_0067_0016__BE_R_0067_0017__WRITTEN_R_0067_0018__OUT,R_0067_0020__DETAIL)
& has_arg1(R_0067_0015__WOULD_R_0067_0016__BE_R_0067_0017__WRITTEN_R_0067_0018__OUT,R_0067_0007__THE_R_0067_0008__PROGRAM)
& r_0067_0007__the_r_0067_0008__program(R_0067_0007__THE_R_0067_0008__PROGRAM)
& has_inv_arg0(R_0067_0007__THE_R_0067_0008__PROGRAM,R_0067_0010__GET)
& r_0067_0010__get(R_0067_0010__GET)
& has_arg1(R_0067_0010__GET,R_0067_0011__THE_R_0067_0014__LINE)
& r_0067_0011__the_r_0067_0014__Line(R_0067_0011__THE_R_0067_0014__LINE)
& has_attrib(R_0067_0011__THE_R_0067_0014__LINE,R_0067_0013__TOTAL)
& has_attrib(R_0067_0011__THE_R_0067_0014__LINE,R_0067_0012__MAJOR)
& has_r_0067_0001__Without__nim(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) ) ).