SZS status Theorem for i/f/enumeral/OWL__DIFF__THM
