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

predicate transformation method
.טכנול	谓词变换法