pide a Cyc que encuentre las respuestas a la fórmula en una Microteoría específica.