PowerDesigner provides default model checks to verify the validity of facts.
| 
                             Check  | 
                             Description and Correction  | 
|---|---|
Name/Code contains terms not in glossary  | 
[if glossary enabled] Names and codes must contain only approved terms drawn from the glossary. 
  | 
Name/Code contains synonyms of glossary terms  | 
[if glossary enabled] Names and codes must not contain synonyms of glossary terms. 
  | 
Name/Code uniqueness  | 
Object names must be unique in the namespace. 
  | 
| 
                             Existence of measure  | 
                             A fact must have at least one measure. 
  | 
| 
                             Fact mapping not defined  | 
                             A fact must be mapped to tables or views in an operational model in order to be populated by data from this model. 
  | 
| 
                             Measure mapping not defined  | 
                             Fact measures must be mapped to columns in the data source tables or views. 
  |