Text: Casa de la Trova (Calle Heredia), Casa de las Tradiciones (Calle General Lacret).
Entailment: Casa de la Trova is in Calle Heredia.
Contradiction: Casa de la Trova is not in Calle Heredia.