The New Expansion of Restrictive Relationship in Direct Inference Extension

• 对当关系直接推理外延的新扩展