SZS status, competition: Added ontology graph for SZS status, splitte…

…d competition 'wrong' status into 'correct', 'no success' and 'unsound'

Competition Pre-Release