CoNSoLe: Convex Neural Symbolic Learning