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_0019__gives gives 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] r_0014_0001__Substitution Substitution r_0014_0019__gives->r_0014_0001__Substitution [arg0] r_0014_0014__values values r_0014_0001__Substitution->r_0014_0014__values with 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_0016__the_r_0014_0018__constants the constants r_0014_0017__various various r_0014_0016__the_r_0014_0018__constants->r_0014_0017__various [attrib] r_0014_0014__values->r_0014_0016__the_r_0014_0018__constants for r_0014_0013__appropriate appropriate r_0014_0014__values->r_0014_0013__appropriate [attrib] 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 
fof(formula,axiom,
    ? [R_0014_0008__EQUATION_R_0014_0010__2,R_0014_0003__EQUATION_R_0014_0005__3,R_0014_0013__APPROPRIATE,R_0014_0017__VARIOUS,R_0014_0016__THE_R_0014_0018__CONSTANTS,R_0014_0014__VALUES,R_0014_0001__SUBSTITUTION,R_0014_0020___AST__BCOMMENT_FORMULA_AST__ECOMMENT_,R_0014_0019__GIVES] :
      ( r_0014_0008__equation_r_0014_0010__2(R_0014_0008__EQUATION_R_0014_0010__2)
      & r_0014_0013__appropriate(R_0014_0013__APPROPRIATE)
      & r_0014_0017__various(R_0014_0017__VARIOUS)
      & r_0014_0020___ast__bcomment_formula_ast__ecomment_(R_0014_0020___AST__BCOMMENT_FORMULA_AST__ECOMMENT_)
      & r_0014_0019__gives(R_0014_0019__GIVES)
      & has_arg1(R_0014_0019__GIVES,R_0014_0020___AST__BCOMMENT_FORMULA_AST__ECOMMENT_)
      & has_arg0(R_0014_0019__GIVES,R_0014_0001__SUBSTITUTION)
      & r_0014_0001__Substitution(R_0014_0001__SUBSTITUTION)
      & has_r_0014_0012__with(R_0014_0001__SUBSTITUTION,R_0014_0014__VALUES)
      & r_0014_0014__values(R_0014_0014__VALUES)
      & has_r_0014_0015__for(R_0014_0014__VALUES,R_0014_0016__THE_R_0014_0018__CONSTANTS)
      & r_0014_0016__the_r_0014_0018__constants(R_0014_0016__THE_R_0014_0018__CONSTANTS)
      & has_attrib44(R_0014_0016__THE_R_0014_0018__CONSTANTS,R_0014_0017__VARIOUS)
      & has_attrib33(R_0014_0014__VALUES,R_0014_0013__APPROPRIATE)
      & has_r_0014_0002__of(R_0014_0001__SUBSTITUTION,R_0014_0003__EQUATION_R_0014_0005__3)
      & r_0014_0003__equation_r_0014_0005__3(R_0014_0003__EQUATION_R_0014_0005__3)
      & has_r_0014_0007__in(R_0014_0003__EQUATION_R_0014_0005__3,R_0014_0008__EQUATION_R_0014_0010__2) ) ).


n14_a_lob_j01 n14_a_lob_j01__1_1_1_1 Substitution n14_a_lob_j01__1_1_2_1_1 of n14_a_lob_j01__1_1_2_2_1_1 equation n14_a_lob_j01__1_1_2_2_2_1 -LRB- n14_a_lob_j01__1_1_2_2_3_1 3 n14_a_lob_j01__1_1_2_2_4_1 -RRB- n14_a_lob_j01__1_1_2_2_5_1_1 in n14_a_lob_j01__1_1_2_2_5_2_1_1 equation n14_a_lob_j01__1_1_2_2_5_2_2_1 -LRB- n14_a_lob_j01__1_1_2_2_5_2_3_1 2 n14_a_lob_j01__1_1_2_2_5_2_4_1 -RRB- n14_a_lob_j01__1_1_3_1_1 with n14_a_lob_j01__1_1_3_2_1_1_1 appropriate n14_a_lob_j01__1_1_3_2_2_1 values n14_a_lob_j01__1_1_3_2_3_1_1 for n14_a_lob_j01__1_1_3_2_3_2_1_1 the n14_a_lob_j01__1_1_3_2_3_2_2_1_1 various n14_a_lob_j01__1_1_3_2_3_2_3_1 constants n14_a_lob_j01__1_2_1 gives n14_a_lob_j01__1_3_1_1 <ast><bcomment>formula<ast><ecomment> n14_a_lob_j01__1_4_1 . n14_a_lob_j01__1 IP-MAT n14_a_lob_j01__1_1 NP-SBJ n14_a_lob_j01__1->n14_a_lob_j01__1_1 n14_a_lob_j01__1_2 VBP;_Tn_ n14_a_lob_j01__1->n14_a_lob_j01__1_2 n14_a_lob_j01__1_3 NP-OB1 n14_a_lob_j01__1->n14_a_lob_j01__1_3 n14_a_lob_j01__1_4 PUNC n14_a_lob_j01__1->n14_a_lob_j01__1_4 n14_a_lob_j01__1_1_1 N n14_a_lob_j01__1_1->n14_a_lob_j01__1_1_1 n14_a_lob_j01__1_1_2 PP n14_a_lob_j01__1_1->n14_a_lob_j01__1_1_2 n14_a_lob_j01__1_1_3 PP n14_a_lob_j01__1_1->n14_a_lob_j01__1_1_3 n14_a_lob_j01__1_1_1->n14_a_lob_j01__1_1_1_1 n14_a_lob_j01__1_1_2_1 P-ROLE n14_a_lob_j01__1_1_2->n14_a_lob_j01__1_1_2_1 n14_a_lob_j01__1_1_2_2 NP n14_a_lob_j01__1_1_2->n14_a_lob_j01__1_1_2_2 n14_a_lob_j01__1_1_2_1->n14_a_lob_j01__1_1_2_1_1 n14_a_lob_j01__1_1_2_2_1 N n14_a_lob_j01__1_1_2_2->n14_a_lob_j01__1_1_2_2_1 n14_a_lob_j01__1_1_2_2_2 PULB n14_a_lob_j01__1_1_2_2->n14_a_lob_j01__1_1_2_2_2 n14_a_lob_j01__1_1_2_2_3 NUM n14_a_lob_j01__1_1_2_2->n14_a_lob_j01__1_1_2_2_3 n14_a_lob_j01__1_1_2_2_4 PURB n14_a_lob_j01__1_1_2_2->n14_a_lob_j01__1_1_2_2_4 n14_a_lob_j01__1_1_2_2_5 PP n14_a_lob_j01__1_1_2_2->n14_a_lob_j01__1_1_2_2_5 n14_a_lob_j01__1_1_2_2_1->n14_a_lob_j01__1_1_2_2_1_1 n14_a_lob_j01__1_1_2_2_2->n14_a_lob_j01__1_1_2_2_2_1 n14_a_lob_j01__1_1_2_2_3->n14_a_lob_j01__1_1_2_2_3_1 n14_a_lob_j01__1_1_2_2_4->n14_a_lob_j01__1_1_2_2_4_1 n14_a_lob_j01__1_1_2_2_5_1 P-ROLE n14_a_lob_j01__1_1_2_2_5->n14_a_lob_j01__1_1_2_2_5_1 n14_a_lob_j01__1_1_2_2_5_2 NP n14_a_lob_j01__1_1_2_2_5->n14_a_lob_j01__1_1_2_2_5_2 n14_a_lob_j01__1_1_2_2_5_1->n14_a_lob_j01__1_1_2_2_5_1_1 n14_a_lob_j01__1_1_2_2_5_2_1 N n14_a_lob_j01__1_1_2_2_5_2->n14_a_lob_j01__1_1_2_2_5_2_1 n14_a_lob_j01__1_1_2_2_5_2_2 PULB n14_a_lob_j01__1_1_2_2_5_2->n14_a_lob_j01__1_1_2_2_5_2_2 n14_a_lob_j01__1_1_2_2_5_2_3 NUM n14_a_lob_j01__1_1_2_2_5_2->n14_a_lob_j01__1_1_2_2_5_2_3 n14_a_lob_j01__1_1_2_2_5_2_4 PURB n14_a_lob_j01__1_1_2_2_5_2->n14_a_lob_j01__1_1_2_2_5_2_4 n14_a_lob_j01__1_1_2_2_5_2_1->n14_a_lob_j01__1_1_2_2_5_2_1_1 n14_a_lob_j01__1_1_2_2_5_2_2->n14_a_lob_j01__1_1_2_2_5_2_2_1 n14_a_lob_j01__1_1_2_2_5_2_3->n14_a_lob_j01__1_1_2_2_5_2_3_1 n14_a_lob_j01__1_1_2_2_5_2_4->n14_a_lob_j01__1_1_2_2_5_2_4_1 n14_a_lob_j01__1_1_3_1 P-ROLE n14_a_lob_j01__1_1_3->n14_a_lob_j01__1_1_3_1 n14_a_lob_j01__1_1_3_2 NP n14_a_lob_j01__1_1_3->n14_a_lob_j01__1_1_3_2 n14_a_lob_j01__1_1_3_1->n14_a_lob_j01__1_1_3_1_1 n14_a_lob_j01__1_1_3_2_1 ADJP n14_a_lob_j01__1_1_3_2->n14_a_lob_j01__1_1_3_2_1 n14_a_lob_j01__1_1_3_2_2 NS n14_a_lob_j01__1_1_3_2->n14_a_lob_j01__1_1_3_2_2 n14_a_lob_j01__1_1_3_2_3 PP n14_a_lob_j01__1_1_3_2->n14_a_lob_j01__1_1_3_2_3 n14_a_lob_j01__1_1_3_2_1_1 ADJ n14_a_lob_j01__1_1_3_2_1->n14_a_lob_j01__1_1_3_2_1_1 n14_a_lob_j01__1_1_3_2_1_1->n14_a_lob_j01__1_1_3_2_1_1_1 n14_a_lob_j01__1_1_3_2_2->n14_a_lob_j01__1_1_3_2_2_1 n14_a_lob_j01__1_1_3_2_3_1 P-ROLE n14_a_lob_j01__1_1_3_2_3->n14_a_lob_j01__1_1_3_2_3_1 n14_a_lob_j01__1_1_3_2_3_2 NP n14_a_lob_j01__1_1_3_2_3->n14_a_lob_j01__1_1_3_2_3_2 n14_a_lob_j01__1_1_3_2_3_1->n14_a_lob_j01__1_1_3_2_3_1_1 n14_a_lob_j01__1_1_3_2_3_2_1 D n14_a_lob_j01__1_1_3_2_3_2->n14_a_lob_j01__1_1_3_2_3_2_1 n14_a_lob_j01__1_1_3_2_3_2_2 ADJP n14_a_lob_j01__1_1_3_2_3_2->n14_a_lob_j01__1_1_3_2_3_2_2 n14_a_lob_j01__1_1_3_2_3_2_3 NS n14_a_lob_j01__1_1_3_2_3_2->n14_a_lob_j01__1_1_3_2_3_2_3 n14_a_lob_j01__1_1_3_2_3_2_1->n14_a_lob_j01__1_1_3_2_3_2_1_1 n14_a_lob_j01__1_1_3_2_3_2_2_1 ADJ n14_a_lob_j01__1_1_3_2_3_2_2->n14_a_lob_j01__1_1_3_2_3_2_2_1 n14_a_lob_j01__1_1_3_2_3_2_2_1->n14_a_lob_j01__1_1_3_2_3_2_2_1_1 n14_a_lob_j01__1_1_3_2_3_2_3->n14_a_lob_j01__1_1_3_2_3_2_3_1 n14_a_lob_j01__1_2->n14_a_lob_j01__1_2_1 n14_a_lob_j01__1_3_1 FO n14_a_lob_j01__1_3->n14_a_lob_j01__1_3_1 n14_a_lob_j01__1_3_1->n14_a_lob_j01__1_3_1_1 n14_a_lob_j01__1_4->n14_a_lob_j01__1_4_1 
( (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))