發送短信 : Reka bentuk alat penterjemahan : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z /