1. A method comprising: creating a list of fact types; determining whether a business rule is a definitional rule defining that one or more propositions become true upon occurrence of an event; if the business rule is a definitional rule, adding fact type of each of the propositions to the list of fact types; else, determining whether the business rule is an authorization rule for provision of information that comprises one or more authorized provisions of information corresponding to one or more fact types; if the business rule is an authorization rule for provision of information, adding the corresponding fact types to the list of fact types; for each fact type in the list of fact types, the fact type having at least one role, the role having a type, if the type of the role is not of a lexical type, adding the type to a list of types; processing the types in the list of types; and processing the fact types in the list of fact types.