Text this: Recommender systems based on neuro-symbolic knowledge graph embeddings encoding first-order logic rules.