Guaranteed Conformance of Neurosymbolic Models to Natural Constraints