Statistical and Logical Reasoning in Disambiguation