单项选择题

A.对称关系推理
B.禁对称关系推理
C.传递关系推理
D.禁传递关系推理