作为一个基本的逻辑规则存在例示规则要求被引进的示例名称必须是前面出现过的