TSPC 68_a_ibm

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

arc(r_0068_0001__But_r_0068_0014__are, r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator, r_0068_0002__with_nim7).
arc(r_0068_0001__But_r_0068_0014__are, r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements, prd).
arc(r_0068_0001__But_r_0068_0014__are, z_000_68_a_ibm_1401_18, arg0).
arc(r_0068_0008__all_quant, r_0068_0001__But_r_0068_0014__are, scope).
arc(r_0068_0008__all_quant, z_000_68_a_ibm_1401_18, restriction).
arc(r_0068_0011__has, r_0068_0012__to_r_0068_0013__write, scope).
arc(r_0068_0012__to_r_0068_0013__write, r_0068_0009__the_r_0068_0010__programmer, arg0).
arc(r_0068_0012__to_r_0068_0013__write, z_000_68_a_ibm_1401_18, arg1).

fof(formula,axiom,
    ! [Z_000_68_A_IBM_1401_18,R_0068_0009__THE_R_0068_0010__PROGRAMMER,R_0068_0011__HAS_R_0068_0012__TO_R_0068_0013__WRITE] :
      ( ( r_0068_0009__the_r_0068_0010__programmer(R_0068_0009__THE_R_0068_0010__PROGRAMMER)
        & z_000_68_a_ibm_1401_18(Z_000_68_A_IBM_1401_18)
        & r_0068_0011__has_r_0068_0012__to_r_0068_0013__write(R_0068_0011__HAS_R_0068_0012__TO_R_0068_0013__WRITE)
        & has_arg1(R_0068_0011__HAS_R_0068_0012__TO_R_0068_0013__WRITE,Z_000_68_A_IBM_1401_18)
        & has_arg0(R_0068_0011__HAS_R_0068_0012__TO_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_0001__BUT_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_0001__But_r_0068_0014__are(R_0068_0001__BUT_R_0068_0014__ARE)
          & has_arg0(R_0068_0001__BUT_R_0068_0014__ARE,Z_000_68_A_IBM_1401_18)
          & has_prd(R_0068_0001__BUT_R_0068_0014__ARE,R_0068_0015__THESE_R_0068_0016__TWO_R_0068_0017__STATEMENTS)
          & has_r_0068_0002__with_nim7(R_0068_0001__BUT_R_0068_0014__ARE,R_0068_0003__THE_R_0068_0004__REPORT_R_0068_0005__PROGRAM_R_0068_0006__GENERATOR) ) ) ).

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