Scope, assumptions, asksign, context. Was Re: Bug in Maxima 5.30.0

There are a few pieces of Mathematica that could be used for design
ideas.  I think the Reduce command (whose Mathematica implementation
has changed from time to time) would be nice to see.

I think there are requirements implicit in some of this inference stuff 
to (finally)
do cylindrical algebraic decomposition,  though going beyond
"algebraic" to include (say) bessel functions would seem to be out of reach.