% SZS status Timeout for antisym__reln__to__rel__co
