High Quality Embeddings for Horn Logic Reasoning | AIChainDay