任意距离的term之间的关系推断规则