añadiendo los axiomas inferidos para poder obtener capturas de calidad