Text this: Representación de relaciones semánticas entre problemas y objetivos mediante lógica de predicados