% SZS status Timeout for acyclic__reln__to__rel__co
