Tekstiviesti: Statistical and Logical Reasoning in Disambiguation