TSPC 34_a_ibm

34_a_ibm_1401
Routines such as those designed for report writing permit faster translation of management requirements into usable information.

( (IP-MAT (NP-SBJ (NS Routines;{routine})
                  (PP (P-ROLE such_as;{such_as})
                      (NP (D;_nphd_ those;{those})
                          (IP-PPL (NP-LGS *)
                                  (VVN;_Tn.pr_ designed;{design[for]})
                                  (PP-CLR (P-ROLE for;{for})
                                          (NP (N report;{report})
                                              (N writing;{writing})))))))
          (VBP;_Tn_ permit;{permit})
          (NP-OB1 (ADJP (ADJR faster;{fast}))
                  (N translation;{translation})
                  (PP (P-ROLE of;{of})
                      (NP (N management;{management})
                          (NS requirements;{requirement})))
                  (PP (P-ROLE into;{into})
                      (NP (ADJP (ADJ usable;{usable}))
                          (N information;{information}))))
          (PUNC .))
  (ID 34_a_ibm_1401))

arc(r_0034_0001__Routines,r_0034_0003__those,r_0034_0002__such_as).
arc(r_0034_0004__designed_r_0034_0005__for,r_0034_0003__those,inv_arg1).
arc(r_0034_0004__designed_r_0034_0005__for,r_0034_0006__report_r_0034_0007__writing,arg2).
arc(r_0034_0004__designed_r_0034_0005__for,z_0034_5003___star_,arg0).
arc(r_0034_0008__permit,r_0034_0001__Routines,arg0).
arc(r_0034_0008__permit,r_0034_0010__translation,arg1).
arc(r_0034_0010__translation,r_0034_0009__faster,attrib).
arc(r_0034_0010__translation,r_0034_0012__management_r_0034_0013__requirements,r_0034_0011__of).
arc(r_0034_0010__translation,r_0034_0016__information,r_0034_0014__into).
arc(r_0034_0016__information,r_0034_0015__usable,attrib).

fof(formula,axiom,
    ? [R_0034_0006__REPORT_R_0034_0007__WRITING,Z_0034_5003___STAR_,R_0034_0004__DESIGNED_R_0034_0005__FOR,R_0034_0003__THOSE,R_0034_0001__ROUTINES,R_0034_0009__FASTER,R_0034_0012__MANAGEMENT_R_0034_0013__REQUIREMENTS,R_0034_0015__USABLE,R_0034_0016__INFORMATION,R_0034_0010__TRANSLATION,R_0034_0008__PERMIT] :
      ( r_0034_0006__report_r_0034_0007__writing(R_0034_0006__REPORT_R_0034_0007__WRITING)
      & r_0034_0009__faster(R_0034_0009__FASTER)
      & r_0034_0012__management_r_0034_0013__requirements(R_0034_0012__MANAGEMENT_R_0034_0013__REQUIREMENTS)
      & r_0034_0015__usable(R_0034_0015__USABLE)
      & z_0034_5003___star_(Z_0034_5003___STAR_)
      & r_0034_0008__permit(R_0034_0008__PERMIT)
      & has_arg1(R_0034_0008__PERMIT,R_0034_0010__TRANSLATION)
      & r_0034_0010__translation(R_0034_0010__TRANSLATION)
      & has_r_0034_0014__into(R_0034_0010__TRANSLATION,R_0034_0016__INFORMATION)
      & r_0034_0016__information(R_0034_0016__INFORMATION)
      & has_attrib(R_0034_0016__INFORMATION,R_0034_0015__USABLE)
      & has_r_0034_0011__of(R_0034_0010__TRANSLATION,R_0034_0012__MANAGEMENT_R_0034_0013__REQUIREMENTS)
      & has_attrib(R_0034_0010__TRANSLATION,R_0034_0009__FASTER)
      & has_arg0(R_0034_0008__PERMIT,R_0034_0001__ROUTINES)
      & r_0034_0001__Routines(R_0034_0001__ROUTINES)
      & has_r_0034_0002__such_as(R_0034_0001__ROUTINES,R_0034_0003__THOSE)
      & r_0034_0003__those(R_0034_0003__THOSE)
      & has_inv_arg1(R_0034_0003__THOSE,R_0034_0004__DESIGNED_R_0034_0005__FOR)
      & r_0034_0004__designed_r_0034_0005__for(R_0034_0004__DESIGNED_R_0034_0005__FOR)
      & has_arg0(R_0034_0004__DESIGNED_R_0034_0005__FOR,Z_0034_5003___STAR_)
      & has_arg2(R_0034_0004__DESIGNED_R_0034_0005__FOR,R_0034_0006__REPORT_R_0034_0007__WRITING) ) ).