Diagnosis
You have not selected a value assignment type. The system requires
at least one value assignment type in order to find specifications.

Procedure
Specify at least one value assignment type.