Extensions in an inference rule match a single target and dependent that have the same base name.

• 推理规则中的扩展名与具有相同基名称的单个目标和依赖项匹配。