added structure for giving the assertion domain in inference settings
...