LogicSpace + LogicPrinter: LogicFormulation