Context                Previous, Next                Top


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

%3 r_0068_0001__But_r_0068_0014__are But are r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator the Report Program Generator r_0068_0001__But_r_0068_0014__are->r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator with [nim] r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements these two statements r_0068_0001__But_r_0068_0014__are->r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements [prd] z_000_68_a_ibm_1401_18 r_0068_0001__But_r_0068_0014__are->z_000_68_a_ibm_1401_18 [arg0] r_0068_0008__all_quant all [quant] r_0068_0008__all_quant->r_0068_0001__But_r_0068_0014__are [scope] r_0068_0008__all_quant->z_000_68_a_ibm_1401_18 [restriction] r_0068_0011__has has r_0068_0012__to_r_0068_0013__write to write r_0068_0011__has->r_0068_0012__to_r_0068_0013__write [scope] r_0068_0012__to_r_0068_0013__write->z_000_68_a_ibm_1401_18 [arg1] r_0068_0009__the_r_0068_0010__programmer the programmer r_0068_0012__to_r_0068_0013__write->r_0068_0009__the_r_0068_0010__programmer [arg0] 
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).


%3 r_0068_0011__has_r_0068_0012__to_r_0068_0013__write has to write z_000_68_a_ibm_1401_18 r_0068_0011__has_r_0068_0012__to_r_0068_0013__write->z_000_68_a_ibm_1401_18 [arg1] r_0068_0009__the_r_0068_0010__programmer the programmer r_0068_0011__has_r_0068_0012__to_r_0068_0013__write->r_0068_0009__the_r_0068_0010__programmer [arg0] r_0068_0008__all_quant all [quant] r_0068_0008__all_quant->r_0068_0011__has_r_0068_0012__to_r_0068_0013__write [restriction] r_0068_0001__But_r_0068_0014__are But are r_0068_0008__all_quant->r_0068_0001__But_r_0068_0014__are [scope] r_0068_0001__But_r_0068_0014__are->z_000_68_a_ibm_1401_18 [arg0] r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements these two statements r_0068_0001__But_r_0068_0014__are->r_0068_0015__these_r_0068_0016__two_r_0068_0017__statements [prd] r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator the Report Program Generator r_0068_0001__But_r_0068_0014__are->r_0068_0003__the_r_0068_0004__Report_r_0068_0005__Program_r_0068_0006__Generator with [nim] 
fof(formula,axiom,
    ! [R_68_11_HAS_TO_WRITE,R_68_9_THE_PROGRAMMER,Z_68_A_IBM_1401_18] :
      ( ( the_programmer(R_68_9_THE_PROGRAMMER)
        & has_to_write(R_68_11_HAS_TO_WRITE,R_68_9_THE_PROGRAMMER,Z_68_A_IBM_1401_18) )
     => ? [R_68_1_BUT_ARE,R_68_15_THESE_TWO_STATEMENTS,R_68_3_THE_REPORT_PROGRAM_GENERATOR] :
          ( these_two_statements(R_68_15_THESE_TWO_STATEMENTS)
          & the_Report_Program_Generator(R_68_3_THE_REPORT_PROGRAM_GENERATOR)
          & but_are(R_68_1_BUT_ARE,Z_68_A_IBM_1401_18,R_68_15_THESE_TWO_STATEMENTS)
          & with_nim7(R_68_1_BUT_ARE,R_68_3_THE_REPORT_PROGRAM_GENERATOR) ) ) ).


n68_a_ibm_1401 n68_a_ibm_1401__1_1_1 But n68_a_ibm_1401__1_2_1_1 with n68_a_ibm_1401__1_2_2_1_1 the n68_a_ibm_1401__1_2_2_2_1 Report n68_a_ibm_1401__1_2_2_3_1 Program n68_a_ibm_1401__1_2_2_4_1 Generator n68_a_ibm_1401__1_3_1 , n68_a_ibm_1401__1_4_1_1 all n68_a_ibm_1401__1_4_2_1_1_1 the n68_a_ibm_1401__1_4_2_1_2_1 programmer n68_a_ibm_1401__1_4_2_2_1 has n68_a_ibm_1401__1_4_2_3_1_1 *T* n68_a_ibm_1401__1_4_2_3_2_1 to n68_a_ibm_1401__1_4_2_3_3_1 write n68_a_ibm_1401__1_5_1 are n68_a_ibm_1401__1_6_1_1 these n68_a_ibm_1401__1_6_2_1 two n68_a_ibm_1401__1_6_3_1 statements n68_a_ibm_1401__1_7_1 : n68_a_ibm_1401__1 IP-MAT n68_a_ibm_1401__1_1 CONJ;_cl_ n68_a_ibm_1401__1->n68_a_ibm_1401__1_1 n68_a_ibm_1401__1_2 PP-NIM n68_a_ibm_1401__1->n68_a_ibm_1401__1_2 n68_a_ibm_1401__1_3 PUNC n68_a_ibm_1401__1->n68_a_ibm_1401__1_3 n68_a_ibm_1401__1_4 NP-SBJ n68_a_ibm_1401__1->n68_a_ibm_1401__1_4 n68_a_ibm_1401__1_5 BEP;_Ln_ n68_a_ibm_1401__1->n68_a_ibm_1401__1_5 n68_a_ibm_1401__1_6 NP-PRD n68_a_ibm_1401__1->n68_a_ibm_1401__1_6 n68_a_ibm_1401__1_7 PUNC n68_a_ibm_1401__1->n68_a_ibm_1401__1_7 n68_a_ibm_1401__1_1->n68_a_ibm_1401__1_1_1 n68_a_ibm_1401__1_2_1 P-ROLE n68_a_ibm_1401__1_2->n68_a_ibm_1401__1_2_1 n68_a_ibm_1401__1_2_2 NP n68_a_ibm_1401__1_2->n68_a_ibm_1401__1_2_2 n68_a_ibm_1401__1_2_1->n68_a_ibm_1401__1_2_1_1 n68_a_ibm_1401__1_2_2_1 D n68_a_ibm_1401__1_2_2->n68_a_ibm_1401__1_2_2_1 n68_a_ibm_1401__1_2_2_2 N n68_a_ibm_1401__1_2_2->n68_a_ibm_1401__1_2_2_2 n68_a_ibm_1401__1_2_2_3 N n68_a_ibm_1401__1_2_2->n68_a_ibm_1401__1_2_2_3 n68_a_ibm_1401__1_2_2_4 N n68_a_ibm_1401__1_2_2->n68_a_ibm_1401__1_2_2_4 n68_a_ibm_1401__1_2_2_1->n68_a_ibm_1401__1_2_2_1_1 n68_a_ibm_1401__1_2_2_2->n68_a_ibm_1401__1_2_2_2_1 n68_a_ibm_1401__1_2_2_3->n68_a_ibm_1401__1_2_2_3_1 n68_a_ibm_1401__1_2_2_4->n68_a_ibm_1401__1_2_2_4_1 n68_a_ibm_1401__1_3->n68_a_ibm_1401__1_3_1 n68_a_ibm_1401__1_4_1 Q;_nphd_ n68_a_ibm_1401__1_4->n68_a_ibm_1401__1_4_1 n68_a_ibm_1401__1_4_2 IP-REL n68_a_ibm_1401__1_4->n68_a_ibm_1401__1_4_2 n68_a_ibm_1401__1_4_1->n68_a_ibm_1401__1_4_1_1 n68_a_ibm_1401__1_4_2_1 NP-SBJ n68_a_ibm_1401__1_4_2->n68_a_ibm_1401__1_4_2_1 n68_a_ibm_1401__1_4_2_2 HVP;_cat_Vt_ n68_a_ibm_1401__1_4_2->n68_a_ibm_1401__1_4_2_2 n68_a_ibm_1401__1_4_2_3 IP-INF-CAT n68_a_ibm_1401__1_4_2->n68_a_ibm_1401__1_4_2_3 n68_a_ibm_1401__1_4_2_1_1 D n68_a_ibm_1401__1_4_2_1->n68_a_ibm_1401__1_4_2_1_1 n68_a_ibm_1401__1_4_2_1_2 N n68_a_ibm_1401__1_4_2_1->n68_a_ibm_1401__1_4_2_1_2 n68_a_ibm_1401__1_4_2_1_1->n68_a_ibm_1401__1_4_2_1_1_1 n68_a_ibm_1401__1_4_2_1_2->n68_a_ibm_1401__1_4_2_1_2_1 n68_a_ibm_1401__1_4_2_2->n68_a_ibm_1401__1_4_2_2_1 n68_a_ibm_1401__1_4_2_3_1 NP-OB1 n68_a_ibm_1401__1_4_2_3->n68_a_ibm_1401__1_4_2_3_1 n68_a_ibm_1401__1_4_2_3_2 TO n68_a_ibm_1401__1_4_2_3->n68_a_ibm_1401__1_4_2_3_2 n68_a_ibm_1401__1_4_2_3_3 VB;_Tn_ n68_a_ibm_1401__1_4_2_3->n68_a_ibm_1401__1_4_2_3_3 n68_a_ibm_1401__1_4_2_3_1->n68_a_ibm_1401__1_4_2_3_1_1 n68_a_ibm_1401__1_4_2_3_2->n68_a_ibm_1401__1_4_2_3_2_1 n68_a_ibm_1401__1_4_2_3_3->n68_a_ibm_1401__1_4_2_3_3_1 n68_a_ibm_1401__1_5->n68_a_ibm_1401__1_5_1 n68_a_ibm_1401__1_6_1 D n68_a_ibm_1401__1_6->n68_a_ibm_1401__1_6_1 n68_a_ibm_1401__1_6_2 NUM n68_a_ibm_1401__1_6->n68_a_ibm_1401__1_6_2 n68_a_ibm_1401__1_6_3 NS n68_a_ibm_1401__1_6->n68_a_ibm_1401__1_6_3 n68_a_ibm_1401__1_6_1->n68_a_ibm_1401__1_6_1_1 n68_a_ibm_1401__1_6_2->n68_a_ibm_1401__1_6_2_1 n68_a_ibm_1401__1_6_3->n68_a_ibm_1401__1_6_3_1 n68_a_ibm_1401__1_7->n68_a_ibm_1401__1_7_1 
( (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))