设c是个体域D中任一特定个体常元，则推理规则A（c）=>?xA（x）称为（）

设c是个体域D中任一特定个体常元，则推理规则A（c）=>?xA（x）称为（）
A.EG
B.US
C.ES
D.UG
正确答案：A