SZS status Theorem for i/f/list/BIGUNION__IMAGE__set__SUBSET
