Cómo transforma PHAROS una pregunta PICO en una ecuación de búsqueda usando lógica neuro-simbólica — stepper interactivo con 6 pasos