The Validator is a separate executable. The command line syntax is given below:
ovalid <filename>
Where filename is a name of a Osiris datafile.
The Validator parses a datafile and creates a table with all possible combinations of attributes' values. Then the logic is checked against each combination.
If there is a combination which isn't accepted by any rule, then the incompleteness error message is generated on the standard output. Furthermore, the combination which failed is displayed too.