Note also that in many practical cases the third condition in this formal definition of an abductive explanation in ALP is either trivially satisfied or it is contained in the second condition via the use of specific integrity constraints that capture consistency.
Имајте на уму да у многим практичним случајевима трећи услов у овом формалном дефиницијом абдуцтиве објашњења у АЛП је било тривијално задовољен или је садржано у другом стању преко коришћења посебних ограничења интегритета за снимање доследности.