Context                Previous, Next                Top


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

%3 r_0049_0002__are are r_0049_0001__These These r_0049_0002__are->r_0049_0001__These [arg0] r_0049_0003__routines routines r_0049_0002__are->r_0049_0003__routines [prd] r_0049_0012__and and r_0049_0003__routines->r_0049_0012__and for r_0049_0005__multiplication multiplication r_0049_0012__and->r_0049_0005__multiplication [conj1] r_0049_0007__division division r_0049_0012__and->r_0049_0007__division [conj2] r_0049_0009__dozens_r_0049_0010__conversion dozens conversion r_0049_0012__and->r_0049_0009__dozens_r_0049_0010__conversion [conj3] r_0049_0013__program_r_0049_0014__error_r_0049_0015__detection_r_0049_0016__aids program error detection aids r_0049_0012__and->r_0049_0013__program_r_0049_0014__error_r_0049_0015__detection_r_0049_0016__aids [conj4] 
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).


%3 r_0049_0012__and and r_0049_0013__program_r_0049_0014__error_r_0049_0015__detection_r_0049_0016__aids program error detection aids r_0049_0012__and->r_0049_0013__program_r_0049_0014__error_r_0049_0015__detection_r_0049_0016__aids [conj4] r_0049_0009__dozens_r_0049_0010__conversion dozens conversion r_0049_0012__and->r_0049_0009__dozens_r_0049_0010__conversion [conj3] r_0049_0007__division division r_0049_0012__and->r_0049_0007__division [conj2] r_0049_0005__multiplication multiplication r_0049_0012__and->r_0049_0005__multiplication [conj1] r_0049_0003__routines routines r_0049_0003__routines->r_0049_0012__and for r_0049_0002__are are r_0049_0002__are->r_0049_0003__routines [prd] r_0049_0001__These These r_0049_0002__are->r_0049_0001__These [arg0] 
fof(formula,axiom,
    ? [R_49_2_ARE,R_49_1_THESE,R_49_3_ROUTINES,R_49_12_AND,R_49_5_MULTIPLICATION,R_49_7_DIVISION,R_49_9_DOZENS_CONVERSION,R_49_13_PROGRAM_ERROR_DETECTION_AIDS] :
      ( these(R_49_1_THESE)
      & multiplication(R_49_5_MULTIPLICATION)
      & division(R_49_7_DIVISION)
      & dozens_conversion(R_49_9_DOZENS_CONVERSION)
      & program_error_detection_aids(R_49_13_PROGRAM_ERROR_DETECTION_AIDS)
      & are(R_49_2_ARE,R_49_1_THESE,R_49_3_ROUTINES)
      & routines(R_49_3_ROUTINES)
      & for(R_49_3_ROUTINES,R_49_12_AND)
      & and(R_49_12_AND)
      & conj1(R_49_12_AND,R_49_5_MULTIPLICATION)
      & conj2(R_49_12_AND,R_49_7_DIVISION)
      & conj3(R_49_12_AND,R_49_9_DOZENS_CONVERSION)
      & conj4(R_49_12_AND,R_49_13_PROGRAM_ERROR_DETECTION_AIDS) ) ).


n49_a_ibm_1401 n49_a_ibm_1401__1_1_1_1 These n49_a_ibm_1401__1_2_1 are n49_a_ibm_1401__1_3_1_1 routines n49_a_ibm_1401__1_3_2_1_1 for n49_a_ibm_1401__1_3_2_2_1_1_1_1 multiplication n49_a_ibm_1401__1_3_2_2_1_2_1 , n49_a_ibm_1401__1_3_2_2_1_3_1_1_1 division n49_a_ibm_1401__1_3_2_2_1_4_1 , n49_a_ibm_1401__1_3_2_2_1_5_1_1_1 dozens n49_a_ibm_1401__1_3_2_2_1_5_1_2_1 conversion n49_a_ibm_1401__1_3_2_2_1_6_1 , n49_a_ibm_1401__1_3_2_2_1_7_1_1 and n49_a_ibm_1401__1_3_2_2_1_7_2_1_1 program n49_a_ibm_1401__1_3_2_2_1_7_2_2_1 error n49_a_ibm_1401__1_3_2_2_1_7_2_3_1 detection n49_a_ibm_1401__1_3_2_2_1_7_2_4_1 aids n49_a_ibm_1401__1_4_1 . n49_a_ibm_1401__1 IP-MAT n49_a_ibm_1401__1_1 NP-SBJ n49_a_ibm_1401__1->n49_a_ibm_1401__1_1 n49_a_ibm_1401__1_2 BEP;_Ln_ n49_a_ibm_1401__1->n49_a_ibm_1401__1_2 n49_a_ibm_1401__1_3 NP-PRD n49_a_ibm_1401__1->n49_a_ibm_1401__1_3 n49_a_ibm_1401__1_4 PUNC n49_a_ibm_1401__1->n49_a_ibm_1401__1_4 n49_a_ibm_1401__1_1_1 D;_nphd_ n49_a_ibm_1401__1_1->n49_a_ibm_1401__1_1_1 n49_a_ibm_1401__1_1_1->n49_a_ibm_1401__1_1_1_1 n49_a_ibm_1401__1_2->n49_a_ibm_1401__1_2_1 n49_a_ibm_1401__1_3_1 NS n49_a_ibm_1401__1_3->n49_a_ibm_1401__1_3_1 n49_a_ibm_1401__1_3_2 PP n49_a_ibm_1401__1_3->n49_a_ibm_1401__1_3_2 n49_a_ibm_1401__1_3_1->n49_a_ibm_1401__1_3_1_1 n49_a_ibm_1401__1_3_2_1 P-ROLE n49_a_ibm_1401__1_3_2->n49_a_ibm_1401__1_3_2_1 n49_a_ibm_1401__1_3_2_2 NP n49_a_ibm_1401__1_3_2->n49_a_ibm_1401__1_3_2_2 n49_a_ibm_1401__1_3_2_1->n49_a_ibm_1401__1_3_2_1_1 n49_a_ibm_1401__1_3_2_2_1 NLYR n49_a_ibm_1401__1_3_2_2->n49_a_ibm_1401__1_3_2_2_1 n49_a_ibm_1401__1_3_2_2_1_1 NLYR n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_1 n49_a_ibm_1401__1_3_2_2_1_2 PUNC n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_2 n49_a_ibm_1401__1_3_2_2_1_3 CONJP n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_3 n49_a_ibm_1401__1_3_2_2_1_4 PUNC n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_4 n49_a_ibm_1401__1_3_2_2_1_5 CONJP n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_5 n49_a_ibm_1401__1_3_2_2_1_6 PUNC n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_6 n49_a_ibm_1401__1_3_2_2_1_7 CONJP n49_a_ibm_1401__1_3_2_2_1->n49_a_ibm_1401__1_3_2_2_1_7 n49_a_ibm_1401__1_3_2_2_1_1_1 N n49_a_ibm_1401__1_3_2_2_1_1->n49_a_ibm_1401__1_3_2_2_1_1_1 n49_a_ibm_1401__1_3_2_2_1_1_1->n49_a_ibm_1401__1_3_2_2_1_1_1_1 n49_a_ibm_1401__1_3_2_2_1_2->n49_a_ibm_1401__1_3_2_2_1_2_1 n49_a_ibm_1401__1_3_2_2_1_3_1 NLYR n49_a_ibm_1401__1_3_2_2_1_3->n49_a_ibm_1401__1_3_2_2_1_3_1 n49_a_ibm_1401__1_3_2_2_1_3_1_1 N n49_a_ibm_1401__1_3_2_2_1_3_1->n49_a_ibm_1401__1_3_2_2_1_3_1_1 n49_a_ibm_1401__1_3_2_2_1_3_1_1->n49_a_ibm_1401__1_3_2_2_1_3_1_1_1 n49_a_ibm_1401__1_3_2_2_1_4->n49_a_ibm_1401__1_3_2_2_1_4_1 n49_a_ibm_1401__1_3_2_2_1_5_1 NLYR n49_a_ibm_1401__1_3_2_2_1_5->n49_a_ibm_1401__1_3_2_2_1_5_1 n49_a_ibm_1401__1_3_2_2_1_5_1_1 NS n49_a_ibm_1401__1_3_2_2_1_5_1->n49_a_ibm_1401__1_3_2_2_1_5_1_1 n49_a_ibm_1401__1_3_2_2_1_5_1_2 N n49_a_ibm_1401__1_3_2_2_1_5_1->n49_a_ibm_1401__1_3_2_2_1_5_1_2 n49_a_ibm_1401__1_3_2_2_1_5_1_1->n49_a_ibm_1401__1_3_2_2_1_5_1_1_1 n49_a_ibm_1401__1_3_2_2_1_5_1_2->n49_a_ibm_1401__1_3_2_2_1_5_1_2_1 n49_a_ibm_1401__1_3_2_2_1_6->n49_a_ibm_1401__1_3_2_2_1_6_1 n49_a_ibm_1401__1_3_2_2_1_7_1 CONJ n49_a_ibm_1401__1_3_2_2_1_7->n49_a_ibm_1401__1_3_2_2_1_7_1 n49_a_ibm_1401__1_3_2_2_1_7_2 NLYR n49_a_ibm_1401__1_3_2_2_1_7->n49_a_ibm_1401__1_3_2_2_1_7_2 n49_a_ibm_1401__1_3_2_2_1_7_1->n49_a_ibm_1401__1_3_2_2_1_7_1_1 n49_a_ibm_1401__1_3_2_2_1_7_2_1 N n49_a_ibm_1401__1_3_2_2_1_7_2->n49_a_ibm_1401__1_3_2_2_1_7_2_1 n49_a_ibm_1401__1_3_2_2_1_7_2_2 N n49_a_ibm_1401__1_3_2_2_1_7_2->n49_a_ibm_1401__1_3_2_2_1_7_2_2 n49_a_ibm_1401__1_3_2_2_1_7_2_3 N n49_a_ibm_1401__1_3_2_2_1_7_2->n49_a_ibm_1401__1_3_2_2_1_7_2_3 n49_a_ibm_1401__1_3_2_2_1_7_2_4 NS n49_a_ibm_1401__1_3_2_2_1_7_2->n49_a_ibm_1401__1_3_2_2_1_7_2_4 n49_a_ibm_1401__1_3_2_2_1_7_2_1->n49_a_ibm_1401__1_3_2_2_1_7_2_1_1 n49_a_ibm_1401__1_3_2_2_1_7_2_2->n49_a_ibm_1401__1_3_2_2_1_7_2_2_1 n49_a_ibm_1401__1_3_2_2_1_7_2_3->n49_a_ibm_1401__1_3_2_2_1_7_2_3_1 n49_a_ibm_1401__1_3_2_2_1_7_2_4->n49_a_ibm_1401__1_3_2_2_1_7_2_4_1 n49_a_ibm_1401__1_4->n49_a_ibm_1401__1_4_1 
( (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))