Assessing logical reasoning