4. The method of claim 1 , further including generating an association list that identifies the relationship between the atomic assertions and the propositional symbols.
5. The method of claim 4 , wherein converting the configuration data into propositional symbols includes converting the configuration data into Boolean symbols using the association list.