TSPC 45_a_ibm

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

( (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 (NLYR (NLYR (NLYR (N input;{input}))
                                                      (CONJP (CONJ and;{and})
                                                             (NLYR (N output;{output})))))
                                          (NS requirements;{requirement}))))))
          (PUNC .))
  (ID 45_a_ibm_1401))

arc(r_0045_0003__provides_r_0045_0006__with,r_0045_0001__This_r_0045_0002__system,arg0).
arc(r_0045_0003__provides_r_0045_0006__with,r_0045_0004__the_r_0045_0005__programmer,arg1).
arc(r_0045_0003__provides_r_0045_0006__with,r_0045_0007__a_r_0045_0009__means,arg2).
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,inv_arg1).
arc(r_0045_0008__packaged,z_0045_5004___star_,arg0).
arc(r_0045_0011__accomplishing,r_0045_0015__requirements,arg1).
arc(r_0045_0011__accomplishing,z_0045_5008,arg0).
arc(r_0045_0013__and,r_0045_0012__input,conj1).
arc(r_0045_0013__and,r_0045_0014__output,conj2).
arc(r_0045_0015__requirements,r_0045_0013__and,nim).

fof(formula,axiom,
    ? [R_0045_0001__THIS_R_0045_0002__SYSTEM,R_0045_0004__THE_R_0045_0005__PROGRAMMER,R_0045_0012__INPUT,R_0045_0014__OUTPUT,R_0045_0013__AND,R_0045_0015__REQUIREMENTS,Z_0045_5008,R_0045_0011__ACCOMPLISHING,Z_0045_5004___STAR_,R_0045_0008__PACKAGED,R_0045_0007__A_R_0045_0009__MEANS,R_0045_0003__PROVIDES_R_0045_0006__WITH] :
      ( 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(R_0045_0012__INPUT)
      & r_0045_0014__output(R_0045_0014__OUTPUT)
      & z_0045_5004___star_(Z_0045_5004___STAR_)
      & z_0045_5008(Z_0045_5008)
      & r_0045_0003__provides_r_0045_0006__with(R_0045_0003__PROVIDES_R_0045_0006__WITH)
      & has_arg2(R_0045_0003__PROVIDES_R_0045_0006__WITH,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_inv_arg1(R_0045_0007__A_R_0045_0009__MEANS,R_0045_0008__PACKAGED)
      & r_0045_0008__packaged(R_0045_0008__PACKAGED)
      & has_arg0(R_0045_0008__PACKAGED,Z_0045_5004___STAR_)
      & 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_0045_5008)
      & has_arg1(R_0045_0011__ACCOMPLISHING,R_0045_0015__REQUIREMENTS)
      & r_0045_0015__requirements(R_0045_0015__REQUIREMENTS)
      & has_nim(R_0045_0015__REQUIREMENTS,R_0045_0013__AND)
      & r_0045_0013__and(R_0045_0013__AND)
      & has_conj2(R_0045_0013__AND,R_0045_0014__OUTPUT)
      & has_conj1(R_0045_0013__AND,R_0045_0012__INPUT)
      & has_arg1(R_0045_0003__PROVIDES_R_0045_0006__WITH,R_0045_0004__THE_R_0045_0005__PROGRAMMER)
      & has_arg0(R_0045_0003__PROVIDES_R_0045_0006__WITH,R_0045_0001__THIS_R_0045_0002__SYSTEM) ) ).