To understand the event "Marvin is an artificial intelligence researcher.  Marvin entered a fact into the OpenMind database.", it is important to know that marvin is educated