SZS status Theorem for i/f/relation/establish__CR_c1
