% SZS status Timeout for NEGATION__NORMAL__FORM_c
