TIQ: A Benchmark for Temporal Question Answering with Implicit Time Constraints | Synapse