Represents the inferential engine.