CONSOLE: ConvexNeuralSymbolicLearning