(Context, Event) => Fact