Compound Inferences Reason forwards Match LHS of inference-rules Grade choices by plausibility CMS finds important items Backtrack if necessary Example