单项选择题
A.AB.BC.CD.D设有规则：W(a，b，c，d)→R(a，b，x)∧S(c，d，y)∧x＞y与上述规则头……
设有规则：W(a，b，c，d)→R(a，b，x)∧S(c，d，y)∧x＞y与上述规则头部等价的关系表达式是（）。
A.A
B.B
C.C
D.D