thusa1anda2areanswerstoourquery entailmentcheckingoverexistentialrulesisnontrivial published presentations and documents on DocSlides.