事实是断言一个语言变量的值或多个语言变量之间关系的（ ）。