Resultado de la búsqueda: proposiciones incluidas