TSPC 45_a_ibm

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

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

fof(formula,axiom,
    ? [R_0045_0001__THIS_R_0045_0002__SYSTEM,R_0045_0004__THE_R_0045_0005__PROGRAMMER,R_0045_0012__INPUT_AND_OUTPUT_R_0045_0013__REQUIREMENTS,Z_000_45_A_IBM_1401_30,R_0045_0011__ACCOMPLISHING,R_0045_0007__A_R_0045_0009__MEANS,R_0045_0003__PROVIDES,Z_000_45_A_IBM_1401_21,R_0045_0008__PACKAGED] :
      ( r_0045_0001__This_r_0045_0002__system(R_0045_0001__THIS_R_0045_0002__SYSTEM)
      & r_0045_0004__the_r_0045_0005__programmer(R_0045_0004__THE_R_0045_0005__PROGRAMMER)
      & r_0045_0012__input_and_output_r_0045_0013__requirements(R_0045_0012__INPUT_AND_OUTPUT_R_0045_0013__REQUIREMENTS)
      & z_000_45_a_ibm_1401_21(Z_000_45_A_IBM_1401_21)
      & z_000_45_a_ibm_1401_30(Z_000_45_A_IBM_1401_30)
      & r_0045_0008__packaged(R_0045_0008__PACKAGED)
      & has_arg0(R_0045_0008__PACKAGED,Z_000_45_A_IBM_1401_21)
      & has_arg1(R_0045_0008__PACKAGED,R_0045_0007__A_R_0045_0009__MEANS)
      & r_0045_0007__a_r_0045_0009__means(R_0045_0007__A_R_0045_0009__MEANS)
      & has_r_0045_0010__of(R_0045_0007__A_R_0045_0009__MEANS,R_0045_0011__ACCOMPLISHING)
      & r_0045_0011__accomplishing(R_0045_0011__ACCOMPLISHING)
      & has_arg0(R_0045_0011__ACCOMPLISHING,Z_000_45_A_IBM_1401_30)
      & has_arg1(R_0045_0011__ACCOMPLISHING,R_0045_0012__INPUT_AND_OUTPUT_R_0045_0013__REQUIREMENTS)
      & r_0045_0003__provides(R_0045_0003__PROVIDES)
      & has_r_0045_0006__with_clr17(R_0045_0003__PROVIDES,R_0045_0007__A_R_0045_0009__MEANS)
      & has_arg1(R_0045_0003__PROVIDES,R_0045_0004__THE_R_0045_0005__PROGRAMMER)
      & has_arg0(R_0045_0003__PROVIDES,R_0045_0001__THIS_R_0045_0002__SYSTEM) ) ).

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