谓词公式 中的约束变元有__________，自由变元有__________。