Context                Previous, Next                Top


14_a_lob_j01
Substitution of equation (3) in equation (2) with appropriate values for the various constants gives <ast><bcomment>formula<ast><ecomment>.

%3 r_0014_0001__Substitution Substitution r_0014_0003__equation_r_0014_0005__3 equation 3 r_0014_0001__Substitution->r_0014_0003__equation_r_0014_0005__3 of r_0014_0014__values values r_0014_0001__Substitution->r_0014_0014__values with r_0014_0008__equation_r_0014_0010__2 equation 2 r_0014_0003__equation_r_0014_0005__3->r_0014_0008__equation_r_0014_0010__2 in r_0014_0013__appropriate appropriate r_0014_0014__values->r_0014_0013__appropriate [attrib] r_0014_0016__the_r_0014_0018__constants the constants r_0014_0014__values->r_0014_0016__the_r_0014_0018__constants for r_0014_0017__various various r_0014_0016__the_r_0014_0018__constants->r_0014_0017__various [attrib] r_0014_0019__gives gives r_0014_0019__gives->r_0014_0001__Substitution [arg0] r_0014_0020___ast__bcomment_formula_ast__ecomment_ ast bcomment formula ast ecomment r_0014_0019__gives->r_0014_0020___ast__bcomment_formula_ast__ecomment_ [arg1] 
arc(r_0014_0001__Substitution, r_0014_0003__equation_r_0014_0005__3, r_0014_0002__of).
arc(r_0014_0001__Substitution, r_0014_0014__values, r_0014_0012__with).
arc(r_0014_0003__equation_r_0014_0005__3, r_0014_0008__equation_r_0014_0010__2, r_0014_0007__in).
arc(r_0014_0014__values, r_0014_0013__appropriate, attrib33).
arc(r_0014_0014__values, r_0014_0016__the_r_0014_0018__constants, r_0014_0015__for).
arc(r_0014_0016__the_r_0014_0018__constants, r_0014_0017__various, attrib44).
arc(r_0014_0019__gives, r_0014_0001__Substitution, arg0).
arc(r_0014_0019__gives, r_0014_0020___ast__bcomment_formula_ast__ecomment_, arg1).


%3 r_0014_0001__Substitution Substitution r_0014_0003__equation_r_0014_0005__3 equation 3 r_0014_0001__Substitution->r_0014_0003__equation_r_0014_0005__3 of r_0014_0014__values values r_0014_0001__Substitution->r_0014_0014__values with r_0014_0008__equation_r_0014_0010__2 equation 2 r_0014_0003__equation_r_0014_0005__3->r_0014_0008__equation_r_0014_0010__2 in r_0014_0013__appropriate appropriate r_0014_0014__values->r_0014_0013__appropriate [attrib] r_0014_0016__the_r_0014_0018__constants the constants r_0014_0014__values->r_0014_0016__the_r_0014_0018__constants for r_0014_0017__various various r_0014_0016__the_r_0014_0018__constants->r_0014_0017__various [attrib] r_0014_0019__gives gives r_0014_0019__gives->r_0014_0001__Substitution [arg0] r_0014_0020___ast__bcomment_formula_ast__ecomment_ ast bcomment formula ast ecomment r_0014_0019__gives->r_0014_0020___ast__bcomment_formula_ast__ecomment_ [arg1] 
fof(formula,axiom,
    ? [R_14_19_GIVES,R_14_1_SUBSTITUTION,R_14_3_EQUATION_3,R_14_8_EQUATION_2,R_14_14_VALUES,R_14_13_APPROPRIATE,R_14_16_THE_CONSTANTS,R_14_17_VARIOUS,R_14_20__AST_BCOMMENT_FORMULA_AST_ECOMMENT_] :
      ( equation_2(R_14_8_EQUATION_2)
      & appropriate(R_14_13_APPROPRIATE)
      & various(R_14_17_VARIOUS)
      & _ast_bcomment_formula_ast_ecomment_(R_14_20__AST_BCOMMENT_FORMULA_AST_ECOMMENT_)
      & gives(R_14_19_GIVES,R_14_1_SUBSTITUTION,R_14_20__AST_BCOMMENT_FORMULA_AST_ECOMMENT_)
      & substitution(R_14_1_SUBSTITUTION)
      & of(R_14_1_SUBSTITUTION,R_14_3_EQUATION_3)
      & equation_3(R_14_3_EQUATION_3)
      & in(R_14_3_EQUATION_3,R_14_8_EQUATION_2)
      & with(R_14_1_SUBSTITUTION,R_14_14_VALUES)
      & values(R_14_14_VALUES)
      & attrib33(R_14_14_VALUES,R_14_13_APPROPRIATE)
      & for(R_14_14_VALUES,R_14_16_THE_CONSTANTS)
      & the_constants(R_14_16_THE_CONSTANTS)
      & attrib44(R_14_16_THE_CONSTANTS,R_14_17_VARIOUS) ) ).


n14_a_lob_j01 n14_a_lob_j01_4 Substitution n14_a_lob_j01_7 of n14_a_lob_j01_10 equation n14_a_lob_j01_12 -LRB- n14_a_lob_j01_14 3 n14_a_lob_j01_16 -RRB- n14_a_lob_j01_19 in n14_a_lob_j01_22 equation n14_a_lob_j01_24 -LRB- n14_a_lob_j01_26 2 n14_a_lob_j01_28 -RRB- n14_a_lob_j01_31 with n14_a_lob_j01_35 appropriate n14_a_lob_j01_37 values n14_a_lob_j01_40 for n14_a_lob_j01_43 the n14_a_lob_j01_46 various n14_a_lob_j01_48 constants n14_a_lob_j01_50 gives n14_a_lob_j01_53 <ast><bcomment>formula<ast><ecomment> n14_a_lob_j01_55 . n14_a_lob_j01_1 IP-MAT n14_a_lob_j01_2 NP-SBJ n14_a_lob_j01_1->n14_a_lob_j01_2 n14_a_lob_j01_49 VBP;_Tn_ n14_a_lob_j01_1->n14_a_lob_j01_49 n14_a_lob_j01_51 NP-OB1 n14_a_lob_j01_1->n14_a_lob_j01_51 n14_a_lob_j01_54 PUNC n14_a_lob_j01_1->n14_a_lob_j01_54 n14_a_lob_j01_3 N n14_a_lob_j01_2->n14_a_lob_j01_3 n14_a_lob_j01_5 PP n14_a_lob_j01_2->n14_a_lob_j01_5 n14_a_lob_j01_29 PP n14_a_lob_j01_2->n14_a_lob_j01_29 n14_a_lob_j01_3->n14_a_lob_j01_4 n14_a_lob_j01_6 P-ROLE n14_a_lob_j01_5->n14_a_lob_j01_6 n14_a_lob_j01_8 NP n14_a_lob_j01_5->n14_a_lob_j01_8 n14_a_lob_j01_6->n14_a_lob_j01_7 n14_a_lob_j01_9 N n14_a_lob_j01_8->n14_a_lob_j01_9 n14_a_lob_j01_11 PULB n14_a_lob_j01_8->n14_a_lob_j01_11 n14_a_lob_j01_13 NUM n14_a_lob_j01_8->n14_a_lob_j01_13 n14_a_lob_j01_15 PURB n14_a_lob_j01_8->n14_a_lob_j01_15 n14_a_lob_j01_17 PP n14_a_lob_j01_8->n14_a_lob_j01_17 n14_a_lob_j01_9->n14_a_lob_j01_10 n14_a_lob_j01_11->n14_a_lob_j01_12 n14_a_lob_j01_13->n14_a_lob_j01_14 n14_a_lob_j01_15->n14_a_lob_j01_16 n14_a_lob_j01_18 P-ROLE n14_a_lob_j01_17->n14_a_lob_j01_18 n14_a_lob_j01_20 NP n14_a_lob_j01_17->n14_a_lob_j01_20 n14_a_lob_j01_18->n14_a_lob_j01_19 n14_a_lob_j01_21 N n14_a_lob_j01_20->n14_a_lob_j01_21 n14_a_lob_j01_23 PULB n14_a_lob_j01_20->n14_a_lob_j01_23 n14_a_lob_j01_25 NUM n14_a_lob_j01_20->n14_a_lob_j01_25 n14_a_lob_j01_27 PURB n14_a_lob_j01_20->n14_a_lob_j01_27 n14_a_lob_j01_21->n14_a_lob_j01_22 n14_a_lob_j01_23->n14_a_lob_j01_24 n14_a_lob_j01_25->n14_a_lob_j01_26 n14_a_lob_j01_27->n14_a_lob_j01_28 n14_a_lob_j01_30 P-ROLE n14_a_lob_j01_29->n14_a_lob_j01_30 n14_a_lob_j01_32 NP n14_a_lob_j01_29->n14_a_lob_j01_32 n14_a_lob_j01_30->n14_a_lob_j01_31 n14_a_lob_j01_33 ADJP n14_a_lob_j01_32->n14_a_lob_j01_33 n14_a_lob_j01_36 NS n14_a_lob_j01_32->n14_a_lob_j01_36 n14_a_lob_j01_38 PP n14_a_lob_j01_32->n14_a_lob_j01_38 n14_a_lob_j01_34 ADJ n14_a_lob_j01_33->n14_a_lob_j01_34 n14_a_lob_j01_34->n14_a_lob_j01_35 n14_a_lob_j01_36->n14_a_lob_j01_37 n14_a_lob_j01_39 P-ROLE n14_a_lob_j01_38->n14_a_lob_j01_39 n14_a_lob_j01_41 NP n14_a_lob_j01_38->n14_a_lob_j01_41 n14_a_lob_j01_39->n14_a_lob_j01_40 n14_a_lob_j01_42 D n14_a_lob_j01_41->n14_a_lob_j01_42 n14_a_lob_j01_44 ADJP n14_a_lob_j01_41->n14_a_lob_j01_44 n14_a_lob_j01_47 NS n14_a_lob_j01_41->n14_a_lob_j01_47 n14_a_lob_j01_42->n14_a_lob_j01_43 n14_a_lob_j01_45 ADJ n14_a_lob_j01_44->n14_a_lob_j01_45 n14_a_lob_j01_45->n14_a_lob_j01_46 n14_a_lob_j01_47->n14_a_lob_j01_48 n14_a_lob_j01_49->n14_a_lob_j01_50 n14_a_lob_j01_52 FO n14_a_lob_j01_51->n14_a_lob_j01_52 n14_a_lob_j01_52->n14_a_lob_j01_53 n14_a_lob_j01_54->n14_a_lob_j01_55 
( (IP-MAT (NP-SBJ (N Substitution;{substitution})
                  (PP (P-ROLE of;{of})
                      (NP (N equation;{equation})
                          (PULB -LRB-)
                          (NUM 3)
                          (PURB -RRB-)
                          (PP (P-ROLE in;{in})
                              (NP (N equation;{equation})
                                  (PULB -LRB-)
                                  (NUM 2)
                                  (PURB -RRB-)))))
                  (PP (P-ROLE with;{with})
                      (NP (ADJP (ADJ appropriate;{appropriate}))
                          (NS values;{value})
                          (PP (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (ADJP (ADJ various;{various}))
                                  (NS constants;{constant}))))))
          (VBP;_Tn_ gives;{give})
          (NP-OB1 (FO <ast><bcomment>formula<ast><ecomment>))
          (PUNC .))
  (ID 14_a_lob_j01))