SZS status Theorem for i/f/list/FILTER__COND__REWRITE_c1
