Outline of the LogicBase Demonstration