6.8.4 描述逻辑的扩展