El estado de cada uno de los semáforos (verde, rojo o ámbar) constituye los hechos del mundo real.