Automatic Deduction of Temporal Information