Able to check the consistency between event's temporalType and its
relations, espeically for TimeInstant events. Also able to annotate
TimeInterval type.