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_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] 
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_4 These n49_a_ibm_1401_6 are n49_a_ibm_1401_9 routines n49_a_ibm_1401_12 for n49_a_ibm_1401_17 multiplication n49_a_ibm_1401_19 , n49_a_ibm_1401_23 division n49_a_ibm_1401_25 , n49_a_ibm_1401_29 dozens n49_a_ibm_1401_31 conversion n49_a_ibm_1401_33 , n49_a_ibm_1401_36 and n49_a_ibm_1401_39 program n49_a_ibm_1401_41 error n49_a_ibm_1401_43 detection n49_a_ibm_1401_45 aids n49_a_ibm_1401_47 . n49_a_ibm_1401_1 IP-MAT n49_a_ibm_1401_2 NP-SBJ n49_a_ibm_1401_1->n49_a_ibm_1401_2 n49_a_ibm_1401_5 BEP;_Ln_ n49_a_ibm_1401_1->n49_a_ibm_1401_5 n49_a_ibm_1401_7 NP-PRD n49_a_ibm_1401_1->n49_a_ibm_1401_7 n49_a_ibm_1401_46 PUNC n49_a_ibm_1401_1->n49_a_ibm_1401_46 n49_a_ibm_1401_3 D;_nphd_ n49_a_ibm_1401_2->n49_a_ibm_1401_3 n49_a_ibm_1401_3->n49_a_ibm_1401_4 n49_a_ibm_1401_5->n49_a_ibm_1401_6 n49_a_ibm_1401_8 NS n49_a_ibm_1401_7->n49_a_ibm_1401_8 n49_a_ibm_1401_10 PP n49_a_ibm_1401_7->n49_a_ibm_1401_10 n49_a_ibm_1401_8->n49_a_ibm_1401_9 n49_a_ibm_1401_11 P-ROLE n49_a_ibm_1401_10->n49_a_ibm_1401_11 n49_a_ibm_1401_13 NP n49_a_ibm_1401_10->n49_a_ibm_1401_13 n49_a_ibm_1401_11->n49_a_ibm_1401_12 n49_a_ibm_1401_14 NLYR n49_a_ibm_1401_13->n49_a_ibm_1401_14 n49_a_ibm_1401_15 NLYR n49_a_ibm_1401_14->n49_a_ibm_1401_15 n49_a_ibm_1401_18 PUNC n49_a_ibm_1401_14->n49_a_ibm_1401_18 n49_a_ibm_1401_20 CONJP n49_a_ibm_1401_14->n49_a_ibm_1401_20 n49_a_ibm_1401_24 PUNC n49_a_ibm_1401_14->n49_a_ibm_1401_24 n49_a_ibm_1401_26 CONJP n49_a_ibm_1401_14->n49_a_ibm_1401_26 n49_a_ibm_1401_32 PUNC n49_a_ibm_1401_14->n49_a_ibm_1401_32 n49_a_ibm_1401_34 CONJP n49_a_ibm_1401_14->n49_a_ibm_1401_34 n49_a_ibm_1401_16 N n49_a_ibm_1401_15->n49_a_ibm_1401_16 n49_a_ibm_1401_16->n49_a_ibm_1401_17 n49_a_ibm_1401_18->n49_a_ibm_1401_19 n49_a_ibm_1401_21 NLYR n49_a_ibm_1401_20->n49_a_ibm_1401_21 n49_a_ibm_1401_22 N n49_a_ibm_1401_21->n49_a_ibm_1401_22 n49_a_ibm_1401_22->n49_a_ibm_1401_23 n49_a_ibm_1401_24->n49_a_ibm_1401_25 n49_a_ibm_1401_27 NLYR n49_a_ibm_1401_26->n49_a_ibm_1401_27 n49_a_ibm_1401_28 NS n49_a_ibm_1401_27->n49_a_ibm_1401_28 n49_a_ibm_1401_30 N n49_a_ibm_1401_27->n49_a_ibm_1401_30 n49_a_ibm_1401_28->n49_a_ibm_1401_29 n49_a_ibm_1401_30->n49_a_ibm_1401_31 n49_a_ibm_1401_32->n49_a_ibm_1401_33 n49_a_ibm_1401_35 CONJ n49_a_ibm_1401_34->n49_a_ibm_1401_35 n49_a_ibm_1401_37 NLYR n49_a_ibm_1401_34->n49_a_ibm_1401_37 n49_a_ibm_1401_35->n49_a_ibm_1401_36 n49_a_ibm_1401_38 N n49_a_ibm_1401_37->n49_a_ibm_1401_38 n49_a_ibm_1401_40 N n49_a_ibm_1401_37->n49_a_ibm_1401_40 n49_a_ibm_1401_42 N n49_a_ibm_1401_37->n49_a_ibm_1401_42 n49_a_ibm_1401_44 NS n49_a_ibm_1401_37->n49_a_ibm_1401_44 n49_a_ibm_1401_38->n49_a_ibm_1401_39 n49_a_ibm_1401_40->n49_a_ibm_1401_41 n49_a_ibm_1401_42->n49_a_ibm_1401_43 n49_a_ibm_1401_44->n49_a_ibm_1401_45 n49_a_ibm_1401_46->n49_a_ibm_1401_47 
( (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))