Improved the reasoner so that it is able to infer validTime for
timeInstant events. But it is not able to infer validTime for
timeInterval events.