Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances