terminado completo.owl para poder hacer las capturas incluso con los
plugins que no tienen en cuenta los axiomas inferidos.