We normalize date and time expressions, and represent numbers as ranges.
the RtE datasets are balanced between entailments and non-entailments, and even in these datasets targeting inference, there are few contradictions.