To understand the event "Alice is a freshman at Boston University.  Alice decided to major in mechanical engineering.", it is important to know that alice has finished high school