f:= rule    
      %x+%y+%z==s(s(%x,%y),%z)   
      
    is it possible one function Return true if its argument is one   
   variable or one Symbol I don't know   
    exactly    
   Else return false   
      
      
    something   
   p(x:Any):Boolean==(Symbol?(x)=>true;false)   
      
   One function of conversion   
   g(x)==x::ROMAN   
      
   One rule that convert only some leaf 🠠 
   � of expression    
      
   f:= rule   
      (%x|p(%x))==g(x)   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)