Rules Verification - Make result of Rule Verification Execution human readable and implement Details

[belenatrhea]

Prerequisites

• I have written a descriptive issue title
• I have verified that I am running the latest version of the COMET-IME
• I have searched open and closed issues to ensure it has not already been reported

Description

The list of errors in the verification of a rule does not provide Short Names of the Elements only the Unique ID. The text of the ID cannot be copy/paste. If the ID is written manually in the search button of the Element Definition tab, the ID cannot be found.

This makes it not possible to the user to look for the Elements that do not fulfill the rule that is trying to verify.

Same thing for BinaryRelationShip Iid's and Category Iid's and probably a lot more.
UI should be human readable.

Also, please implement the Details pane at the bottom, so more detailed info could be made visible.

Solution:
Check if the related thing is a NamedThing / DefinedThing, or ??? and make the messages more readable.

Steps to Reproduce

1. Open COMET
2. Connect to server and open one model.
3. Go to Model/Rules Verification
4. Create Rule Verification List
5. Add one/several Rules to verify
6. Right click and click on Execute the Rule Verification List
7. Unfold the Rule with errors.

Logs

• There are no logs regarding the issue
• { ] I have attached a log file or included the relevant section in this issue

System Configuration

• COMET version:
  • COMET-IME: 10.0.0.5
  • Other:
• Web Services:
  • CDP4/COMET Web Services version:
  • OCDT WSP version:
• Environment (Operating system, version and so on):
  • Microsoft Excel (32/64 bit):
  • Windows OS (32/64 bit):
  • Additional information: