利用改名规则和代入规则，使得出的公式中，每一个变元只以一种形式出现，每一个约束变元只出现在一个量词的辖

A．1级

B．2级

C．3级

D．9级

A．授权

B．验证

C．签报

D．考核

A．主管级

B．支行运营部经理级

C．总行级授权人员

D．支行副主管级

A. 1-3级

B. B.1-4级

C. C.1-7级

D. D.1-9级

A、1-3级

B、1-4级

C、1-7级

D、1-9级

A．5万（含）至100万人民币同级别柜员授权

B．100万（含）至300万人民币副主管级以上授权

C．300万（含）至500万人民币主管级以上授权

D．500万人民币（含）以上经理授权