TSPC 68_a_ibm

68_a_ibm_1401
But with the Report Program Generator, all the programmer has to write are these two statements:

( (IP-MAT (CONJ;_cl_ But;{but})
          (PP-NIM (P-ROLE with;{with})
                  (NP;{REPORT_GENERATOR} (D the;{the})
                                         (N Report;{report})
                                         (N Program;{program})
                                         (N Generator;{generator})))
          (PUNC ,)
          (NP-SBJ (Q;_nphd_ all;{all})
                  (IP-REL (NP-SBJ (D the;{the})
                                  (N programmer;{programmer}))
                          (HVP;_cat_Vt_ has;{have})
                          (IP-INF-CAT (NP-OB1 *T*)
                                      (TO to;{to})
                                      (VB;_Tn_ write;{write}))))
          (BEP;_Ln_ are;{be})
          (NP-PRD;{STATEMENTS} (D these;{these})
                               (NUM two;{two})
                               (NS statements;{statement}))
          (PUNC :))
  (ID 68_a_ibm_1401))

arc(r_0068_0008__all__quant,r_0068_0014__are,scope).
arc(r_0068_0008__all__quant,z_0068_5008,restriction).
arc(r_0068_0011__has,r_0068_0013__write,scope).
arc(r_0068_0013__write,r_0068_0009__the_r_0068_0010__programmer,arg0).
arc(r_0068_0013__write,z_0068_5008,inv_arg1).
arc(r_0068_0014__are,r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator,r_0068_0002__with__nim).
arc(r_0068_0014__are,r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements,prd).
arc(r_0068_0014__are,z_0068_5008,arg0).

fof(formula,axiom,
    ! [Z_0068_5008,R_0068_0009__THE_R_0068_0010__PROGRAMMER,R_0068_0011__HAS_R_0068_0013__WRITE] :
      ( ( r_0068_0009__the_r_0068_0010__programmer(R_0068_0009__THE_R_0068_0010__PROGRAMMER)
        & z_0068_5008(Z_0068_5008)
        & has_inv_arg1(Z_0068_5008,R_0068_0011__HAS_R_0068_0013__WRITE)
        & r_0068_0011__has_r_0068_0013__write(R_0068_0011__HAS_R_0068_0013__WRITE)
        & has_arg0(R_0068_0011__HAS_R_0068_0013__WRITE,R_0068_0009__THE_R_0068_0010__PROGRAMMER) )
     => ? [R_0068_0003__THE_R_0068_0004__REPORT_R_0068_0005__PROGRAM_R_0068_0006__GENERATOR,R_0068_0015__THESE_R_0068_0016__TWO_R_0068_0017__STATEMENTS,R_0068_0014__ARE] :
          ( r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator(R_0068_0003__THE_R_0068_0004__REPORT_R_0068_0005__PROGRAM_R_0068_0006__GENERATOR)
          & r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements(R_0068_0015__THESE_R_0068_0016__TWO_R_0068_0017__STATEMENTS)
          & r_0068_0014__are(R_0068_0014__ARE)
          & has_arg0(R_0068_0014__ARE,Z_0068_5008)
          & has_prd(R_0068_0014__ARE,R_0068_0015__THESE_R_0068_0016__TWO_R_0068_0017__STATEMENTS)
          & has_r_0068_0002__with__nim(R_0068_0014__ARE,R_0068_0003__THE_R_0068_0004__REPORT_R_0068_0005__PROGRAM_R_0068_0006__GENERATOR) ) ) ).