Finally our Stage 2 predicate (and colh + coli = :hvtotal) is applied.

最后，我们的Stage2谓词（and colh +coli = :hvtotal）应用。

youdao

Finally our Stage 2 predicate (and colh + coli = :hvtotal) is applied.

最后，我们的Stage2谓词（and colh +coli = :hvtotal）应用。

youdao