TemporalRelationSpecification - ExamplesΒΆ