Відправити по sms: Reasoning and revision in hybrid representation systems /