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_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] 
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_4 This n45_a_ibm_1401_6 system n45_a_ibm_1401_8 provides n45_a_ibm_1401_11 the n45_a_ibm_1401_13 programmer n45_a_ibm_1401_16 with n45_a_ibm_1401_19 a n45_a_ibm_1401_22 * n45_a_ibm_1401_24 packaged n45_a_ibm_1401_26 means n45_a_ibm_1401_29 of n45_a_ibm_1401_32 accomplishing n45_a_ibm_1401_35 input_and_output n45_a_ibm_1401_37 requirements n45_a_ibm_1401_39 . n45_a_ibm_1401_1 IP-MAT n45_a_ibm_1401_2 NP-SBJ n45_a_ibm_1401_1->n45_a_ibm_1401_2 n45_a_ibm_1401_7 VBP;_Tn.pr_ n45_a_ibm_1401_1->n45_a_ibm_1401_7 n45_a_ibm_1401_9 NP-OB1 n45_a_ibm_1401_1->n45_a_ibm_1401_9 n45_a_ibm_1401_14 PP-CLR n45_a_ibm_1401_1->n45_a_ibm_1401_14 n45_a_ibm_1401_38 PUNC n45_a_ibm_1401_1->n45_a_ibm_1401_38 n45_a_ibm_1401_3 D n45_a_ibm_1401_2->n45_a_ibm_1401_3 n45_a_ibm_1401_5 N n45_a_ibm_1401_2->n45_a_ibm_1401_5 n45_a_ibm_1401_3->n45_a_ibm_1401_4 n45_a_ibm_1401_5->n45_a_ibm_1401_6 n45_a_ibm_1401_7->n45_a_ibm_1401_8 n45_a_ibm_1401_10 D n45_a_ibm_1401_9->n45_a_ibm_1401_10 n45_a_ibm_1401_12 N n45_a_ibm_1401_9->n45_a_ibm_1401_12 n45_a_ibm_1401_10->n45_a_ibm_1401_11 n45_a_ibm_1401_12->n45_a_ibm_1401_13 n45_a_ibm_1401_15 P-ROLE n45_a_ibm_1401_14->n45_a_ibm_1401_15 n45_a_ibm_1401_17 NP n45_a_ibm_1401_14->n45_a_ibm_1401_17 n45_a_ibm_1401_15->n45_a_ibm_1401_16 n45_a_ibm_1401_18 D n45_a_ibm_1401_17->n45_a_ibm_1401_18 n45_a_ibm_1401_20 IP-PPL n45_a_ibm_1401_17->n45_a_ibm_1401_20 n45_a_ibm_1401_25 N n45_a_ibm_1401_17->n45_a_ibm_1401_25 n45_a_ibm_1401_27 PP n45_a_ibm_1401_17->n45_a_ibm_1401_27 n45_a_ibm_1401_18->n45_a_ibm_1401_19 n45_a_ibm_1401_21 NP-LGS n45_a_ibm_1401_20->n45_a_ibm_1401_21 n45_a_ibm_1401_23 VVN;_Tn_ n45_a_ibm_1401_20->n45_a_ibm_1401_23 n45_a_ibm_1401_21->n45_a_ibm_1401_22 n45_a_ibm_1401_23->n45_a_ibm_1401_24 n45_a_ibm_1401_25->n45_a_ibm_1401_26 n45_a_ibm_1401_28 P-ROLE n45_a_ibm_1401_27->n45_a_ibm_1401_28 n45_a_ibm_1401_30 IP-PPL n45_a_ibm_1401_27->n45_a_ibm_1401_30 n45_a_ibm_1401_28->n45_a_ibm_1401_29 n45_a_ibm_1401_31 VAG;_Tn_ n45_a_ibm_1401_30->n45_a_ibm_1401_31 n45_a_ibm_1401_33 NP-OB1 n45_a_ibm_1401_30->n45_a_ibm_1401_33 n45_a_ibm_1401_31->n45_a_ibm_1401_32 n45_a_ibm_1401_34 N n45_a_ibm_1401_33->n45_a_ibm_1401_34 n45_a_ibm_1401_36 NS n45_a_ibm_1401_33->n45_a_ibm_1401_36 n45_a_ibm_1401_34->n45_a_ibm_1401_35 n45_a_ibm_1401_36->n45_a_ibm_1401_37 n45_a_ibm_1401_38->n45_a_ibm_1401_39 
( (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))