关系断言 a b 的意思