Context                Previous, Next                Top


45_a_ibm_1401
This system provides the programmer with a packaged means of accomplishing input and output requirements.

%3 r_0045_0003__provides provides r_0045_0001__This_r_0045_0002__system This system r_0045_0003__provides->r_0045_0001__This_r_0045_0002__system [arg0] r_0045_0004__the_r_0045_0005__programmer the programmer r_0045_0003__provides->r_0045_0004__the_r_0045_0005__programmer [arg1] r_0045_0007__a_r_0045_0009__means a means r_0045_0003__provides->r_0045_0007__a_r_0045_0009__means with [clr] r_0045_0011__accomplishing accomplishing r_0045_0007__a_r_0045_0009__means->r_0045_0011__accomplishing of r_0045_0012__input_and_output_r_0045_0013__requirements input and output requirements r_0045_0011__accomplishing->r_0045_0012__input_and_output_r_0045_0013__requirements [arg1] z_000_45_a_ibm_1401_30 r_0045_0011__accomplishing->z_000_45_a_ibm_1401_30 [arg0] r_0045_0008__packaged packaged r_0045_0008__packaged->r_0045_0007__a_r_0045_0009__means [arg1] z_000_45_a_ibm_1401_21 r_0045_0008__packaged->z_000_45_a_ibm_1401_21 [arg0] 
arc(r_0045_0003__provides, r_0045_0001__This_r_0045_0002__system, arg0).
arc(r_0045_0003__provides, r_0045_0004__the_r_0045_0005__programmer, arg1).
arc(r_0045_0003__provides, r_0045_0007__a_r_0045_0009__means, r_0045_0006__with_clr17).
arc(r_0045_0007__a_r_0045_0009__means, r_0045_0011__accomplishing, r_0045_0010__of).
arc(r_0045_0008__packaged, r_0045_0007__a_r_0045_0009__means, arg1).
arc(r_0045_0008__packaged, z_000_45_a_ibm_1401_21, arg0).
arc(r_0045_0011__accomplishing, r_0045_0012__input_and_output_r_0045_0013__requirements, arg1).
arc(r_0045_0011__accomplishing, z_000_45_a_ibm_1401_30, arg0).


%3 r_0045_0011__accomplishing accomplishing z_000_45_a_ibm_1401_30 r_0045_0011__accomplishing->z_000_45_a_ibm_1401_30 [arg0] r_0045_0012__input_and_output_r_0045_0013__requirements input and output requirements r_0045_0011__accomplishing->r_0045_0012__input_and_output_r_0045_0013__requirements [arg1] r_0045_0008__packaged packaged z_000_45_a_ibm_1401_21 r_0045_0008__packaged->z_000_45_a_ibm_1401_21 [arg0] r_0045_0007__a_r_0045_0009__means a means r_0045_0008__packaged->r_0045_0007__a_r_0045_0009__means [arg1] r_0045_0007__a_r_0045_0009__means->r_0045_0011__accomplishing of r_0045_0003__provides provides r_0045_0003__provides->r_0045_0007__a_r_0045_0009__means with [clr] r_0045_0004__the_r_0045_0005__programmer the programmer r_0045_0003__provides->r_0045_0004__the_r_0045_0005__programmer [arg1] r_0045_0001__This_r_0045_0002__system This system r_0045_0003__provides->r_0045_0001__This_r_0045_0002__system [arg0] 
fof(formula,axiom,
    ? [R_45_3_PROVIDES,R_45_1_THIS_SYSTEM,R_45_4_THE_PROGRAMMER,R_45_8_PACKAGED,Z_45_A_IBM_1401_21,R_45_7_A_MEANS,R_45_11_ACCOMPLISHING,Z_45_A_IBM_1401_30,R_45_12_INPUT_AND_OUTPUT_REQUIREMENTS] :
      ( this_system(R_45_1_THIS_SYSTEM)
      & the_programmer(R_45_4_THE_PROGRAMMER)
      & input_and_output_requirements(R_45_12_INPUT_AND_OUTPUT_REQUIREMENTS)
      & provides(R_45_3_PROVIDES,R_45_1_THIS_SYSTEM,R_45_4_THE_PROGRAMMER)
      & with_clr17(R_45_3_PROVIDES,R_45_7_A_MEANS)
      & a_means(R_45_7_A_MEANS)
      & of(R_45_7_A_MEANS,R_45_11_ACCOMPLISHING)
      & accomplishing(R_45_11_ACCOMPLISHING,Z_45_A_IBM_1401_30,R_45_12_INPUT_AND_OUTPUT_REQUIREMENTS)
      & packaged(R_45_8_PACKAGED,Z_45_A_IBM_1401_21,R_45_7_A_MEANS) ) ).


n45_a_ibm_1401 n45_a_ibm_1401__1_1_1_1 This n45_a_ibm_1401__1_1_2_1 system n45_a_ibm_1401__1_2_1 provides n45_a_ibm_1401__1_3_1_1 the n45_a_ibm_1401__1_3_2_1 programmer n45_a_ibm_1401__1_4_1_1 with n45_a_ibm_1401__1_4_2_1_1 a n45_a_ibm_1401__1_4_2_2_1_1 * n45_a_ibm_1401__1_4_2_2_2_1 packaged n45_a_ibm_1401__1_4_2_3_1 means n45_a_ibm_1401__1_4_2_4_1_1 of n45_a_ibm_1401__1_4_2_4_2_1_1 accomplishing n45_a_ibm_1401__1_4_2_4_2_2_1_1 input_and_output n45_a_ibm_1401__1_4_2_4_2_2_2_1 requirements n45_a_ibm_1401__1_5_1 . n45_a_ibm_1401__1 IP-MAT n45_a_ibm_1401__1_1 NP-SBJ n45_a_ibm_1401__1->n45_a_ibm_1401__1_1 n45_a_ibm_1401__1_2 VBP;_Tn.pr_ n45_a_ibm_1401__1->n45_a_ibm_1401__1_2 n45_a_ibm_1401__1_3 NP-OB1 n45_a_ibm_1401__1->n45_a_ibm_1401__1_3 n45_a_ibm_1401__1_4 PP-CLR n45_a_ibm_1401__1->n45_a_ibm_1401__1_4 n45_a_ibm_1401__1_5 PUNC n45_a_ibm_1401__1->n45_a_ibm_1401__1_5 n45_a_ibm_1401__1_1_1 D n45_a_ibm_1401__1_1->n45_a_ibm_1401__1_1_1 n45_a_ibm_1401__1_1_2 N n45_a_ibm_1401__1_1->n45_a_ibm_1401__1_1_2 n45_a_ibm_1401__1_1_1->n45_a_ibm_1401__1_1_1_1 n45_a_ibm_1401__1_1_2->n45_a_ibm_1401__1_1_2_1 n45_a_ibm_1401__1_2->n45_a_ibm_1401__1_2_1 n45_a_ibm_1401__1_3_1 D n45_a_ibm_1401__1_3->n45_a_ibm_1401__1_3_1 n45_a_ibm_1401__1_3_2 N n45_a_ibm_1401__1_3->n45_a_ibm_1401__1_3_2 n45_a_ibm_1401__1_3_1->n45_a_ibm_1401__1_3_1_1 n45_a_ibm_1401__1_3_2->n45_a_ibm_1401__1_3_2_1 n45_a_ibm_1401__1_4_1 P-ROLE n45_a_ibm_1401__1_4->n45_a_ibm_1401__1_4_1 n45_a_ibm_1401__1_4_2 NP n45_a_ibm_1401__1_4->n45_a_ibm_1401__1_4_2 n45_a_ibm_1401__1_4_1->n45_a_ibm_1401__1_4_1_1 n45_a_ibm_1401__1_4_2_1 D n45_a_ibm_1401__1_4_2->n45_a_ibm_1401__1_4_2_1 n45_a_ibm_1401__1_4_2_2 IP-PPL n45_a_ibm_1401__1_4_2->n45_a_ibm_1401__1_4_2_2 n45_a_ibm_1401__1_4_2_3 N n45_a_ibm_1401__1_4_2->n45_a_ibm_1401__1_4_2_3 n45_a_ibm_1401__1_4_2_4 PP n45_a_ibm_1401__1_4_2->n45_a_ibm_1401__1_4_2_4 n45_a_ibm_1401__1_4_2_1->n45_a_ibm_1401__1_4_2_1_1 n45_a_ibm_1401__1_4_2_2_1 NP-LGS n45_a_ibm_1401__1_4_2_2->n45_a_ibm_1401__1_4_2_2_1 n45_a_ibm_1401__1_4_2_2_2 VVN;_Tn_ n45_a_ibm_1401__1_4_2_2->n45_a_ibm_1401__1_4_2_2_2 n45_a_ibm_1401__1_4_2_2_1->n45_a_ibm_1401__1_4_2_2_1_1 n45_a_ibm_1401__1_4_2_2_2->n45_a_ibm_1401__1_4_2_2_2_1 n45_a_ibm_1401__1_4_2_3->n45_a_ibm_1401__1_4_2_3_1 n45_a_ibm_1401__1_4_2_4_1 P-ROLE n45_a_ibm_1401__1_4_2_4->n45_a_ibm_1401__1_4_2_4_1 n45_a_ibm_1401__1_4_2_4_2 IP-PPL n45_a_ibm_1401__1_4_2_4->n45_a_ibm_1401__1_4_2_4_2 n45_a_ibm_1401__1_4_2_4_1->n45_a_ibm_1401__1_4_2_4_1_1 n45_a_ibm_1401__1_4_2_4_2_1 VAG;_Tn_ n45_a_ibm_1401__1_4_2_4_2->n45_a_ibm_1401__1_4_2_4_2_1 n45_a_ibm_1401__1_4_2_4_2_2 NP-OB1 n45_a_ibm_1401__1_4_2_4_2->n45_a_ibm_1401__1_4_2_4_2_2 n45_a_ibm_1401__1_4_2_4_2_1->n45_a_ibm_1401__1_4_2_4_2_1_1 n45_a_ibm_1401__1_4_2_4_2_2_1 N n45_a_ibm_1401__1_4_2_4_2_2->n45_a_ibm_1401__1_4_2_4_2_2_1 n45_a_ibm_1401__1_4_2_4_2_2_2 NS n45_a_ibm_1401__1_4_2_4_2_2->n45_a_ibm_1401__1_4_2_4_2_2_2 n45_a_ibm_1401__1_4_2_4_2_2_1->n45_a_ibm_1401__1_4_2_4_2_2_1_1 n45_a_ibm_1401__1_4_2_4_2_2_2->n45_a_ibm_1401__1_4_2_4_2_2_2_1 n45_a_ibm_1401__1_5->n45_a_ibm_1401__1_5_1 
( (IP-MAT (NP-SBJ;{IO_SYSTEM} (D This;{this})
                              (N system;{system}))
          (VBP;_Tn.pr_ provides;{provide[with]})
          (NP-OB1 (D the;{the})
                  (N programmer;{programmer}))
          (PP-CLR (P-ROLE with;{with})
                  (NP (D a;{a})
                      (IP-PPL (NP-LGS *)
                              (VVN;_Tn_ packaged;{package}))
                      (N means;{mean})
                      (PP (P-ROLE of;{of})
                          (IP-PPL (VAG;_Tn_ accomplishing;{accomplish})
                                  (NP-OB1 (N input_and_output;{input_and_output})
                                          (NS requirements;{requirement}))))))
          (PUNC .))
  (ID 45_a_ibm_1401))