On the verification of Embeddings using Hybrid Markov Logic