أرسل هذا في رسالة قصيرة: Reka bentuk alat penterjemahan : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z /