Remove verbose descriptions from proof status factory.
Remove verbose descriptions from proof status factory.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub