You pass a formula used as a predicate to see if it is a valid rule for the element.
您传递一个用作谓词的公式，检查它是否是一个有效的元素规则。
2
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
3
Based on the leakage rate test of the spiral gasket, the leakage rate formula was regressed, which was used to predicate the leakage rate of the gasket and toke as the criterion. 2.