set(anl_eq). 
set(print_lists_at_end). 
lex([e, _*_, g(_)]). 
list(sos). 
x = x. 
e*x = x. % left identity 
g(x)*x = e. % left inverse 
(x*y)*z = x*y*z. % associativity
end_of_list.