The reasoning operators are the active elements of the program. They take the input, turn it into a patient specific model, and generate the diagnostic information and the management information that assists the physician in managing a patient. Each one uses the appropriate part of the knowledge base to transform parts of the PSM or the input into new parts of the PSM or output to the user. The eight operators are discussed in the following sections with emphasis on how they support each other.