Отправить по sms: Logic-based perspectives on query reformulation over restricted interfaces