Update SemanticResultFormats.php