TSPC 49_a_ibm

49_a_ibm_1401
These are routines for multiplication, division, dozens conversion, and program error detection aids.

( (IP-MAT (NP-SBJ;{SUBROUTINES} (D;_nphd_ These;{these}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NS routines;{routine})
                  (PP (P-ROLE for;{for})
                      (NP (NLYR (NLYR (N multiplication;{multiplication}))
                                (PUNC ,)
                                (CONJP (NLYR (N division;{division})))
                                (PUNC ,)
                                (CONJP (NLYR (NS dozens;{dozen})
                                             (N conversion;{conversion})))
                                (PUNC ,)
                                (CONJP (CONJ and;{and})
                                       (NLYR (N program;{program})
                                             (N error;{error})
                                             (N detection;{detection})
                                             (NS aids;{aid})))))))
          (PUNC .))
  (ID 49_a_ibm_1401))

arc(r_0049_0002__are,r_0049_0001__These,arg0).
arc(r_0049_0002__are,r_0049_0003__routines,prd).
arc(r_0049_0003__routines,r_0049_0012__and,r_0049_0004__for).
arc(r_0049_0012__and,r_0049_0005__multiplication,conj1).
arc(r_0049_0012__and,r_0049_0007__division,conj2).
arc(r_0049_0012__and,r_0049_0009__dozens_r_0049_0010__conversion,conj3).
arc(r_0049_0012__and,r_0049_0013__program_r_0049_0014__error_r_0049_0015__detection_r_0049_0016__aids,conj4).

fof(formula,axiom,
    ? [R_0049_0001__THESE,R_0049_0005__MULTIPLICATION,R_0049_0007__DIVISION,R_0049_0009__DOZENS_R_0049_0010__CONVERSION,R_0049_0013__PROGRAM_R_0049_0014__ERROR_R_0049_0015__DETECTION_R_0049_0016__AIDS,R_0049_0012__AND,R_0049_0003__ROUTINES,R_0049_0002__ARE] :
      ( r_0049_0001__These(R_0049_0001__THESE)
      & r_0049_0005__multiplication(R_0049_0005__MULTIPLICATION)
      & r_0049_0007__division(R_0049_0007__DIVISION)
      & r_0049_0009__dozens_r_0049_0010__conversion(R_0049_0009__DOZENS_R_0049_0010__CONVERSION)
      & r_0049_0013__program_r_0049_0014__error_r_0049_0015__detection_r_0049_0016__aids(R_0049_0013__PROGRAM_R_0049_0014__ERROR_R_0049_0015__DETECTION_R_0049_0016__AIDS)
      & r_0049_0002__are(R_0049_0002__ARE)
      & has_prd(R_0049_0002__ARE,R_0049_0003__ROUTINES)
      & r_0049_0003__routines(R_0049_0003__ROUTINES)
      & has_r_0049_0004__for(R_0049_0003__ROUTINES,R_0049_0012__AND)
      & r_0049_0012__and(R_0049_0012__AND)
      & has_conj4(R_0049_0012__AND,R_0049_0013__PROGRAM_R_0049_0014__ERROR_R_0049_0015__DETECTION_R_0049_0016__AIDS)
      & has_conj3(R_0049_0012__AND,R_0049_0009__DOZENS_R_0049_0010__CONVERSION)
      & has_conj2(R_0049_0012__AND,R_0049_0007__DIVISION)
      & has_conj1(R_0049_0012__AND,R_0049_0005__MULTIPLICATION)
      & has_arg0(R_0049_0002__ARE,R_0049_0001__THESE) ) ).