Analyzing statements to solve problems