You can specify in which format the result of the semantic check is to be generated for downloading.
Procedure
You have set up the output options for semantic check results. If you now run a semantic check and click Download result as a document, the result is downloaded in the selected format.