發送短信 : Reasoning and revision in hybrid representation systems /