Aserciones Redundantes

[danielbakas]

Un mecanismo en los motores de inferencia que identifique si una instancia tiene una aserción, que por otra se pueda inferir.

Eso permitiría quitar la aserción innecesaria y dejar sólo la inferida.