Soft-Unification in Deep Probabilistic Logic