On   
   ------   
   What about this:   
   One expression   
   f(x1,...,xn)   
      
   One rule on f(x1...xn)   
   If (x1,...,xn)in B then   
        substitute f(x1..xn) with g   
   Else do nothing   
   ------   
   I find a way for doing above   
   it use one function   
   predicate: Expression Float -> Boolean   
   predicate(x)==(not integer?(x)=> false;   
   and the necessary conversion x::INT   
      
   and rule defined using   
   (y|predicate(y))   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)