אנגלית ⇄ סינית +

deductive database machine
.חַקלָ	演绎数据库机 (deductive DBM)