a valuation function (omitting accessibility relations).

• 估值函数（省略无障碍关系）。