Can be used to validate that the supplied names are valid for a problem definition
true if the key names in inputs all appear in the set names