predicate

n.断言;使必然


[[修改/添加解释]]