event_property(Event, Key, Value) extracts the value contained by a certain property Key on an event Event.