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

annotated predicate calculus
.טכנול	带注释的谓词演算