SZS status Theorem for i/f/words/ranged__word__nchotomy
