How to simplify result from domain function

[CyberAngel]

(03-04-2020 08:10 PM)parisse Wrote:  No, there is no support for the internal representation of assume in user commands.

I know there isn't at the moment
but
would it be useful
if you would ADD such a support?

Is it possible to add new keywords?
like this: "set { x<3 x>3 }"
VPN