SMS versenden: Statistical and Logical Reasoning in Disambiguation