SZS status Theorem for i/f/enumeral/NOT__IN__nt
