This chapter formulates an annotation-based semantics (ABS) for the annotation and interpretation of temporal and spatial information in language. It consists of two modules, one for representation and another for interpretation. The representation module consists of a type-theoretic first-order logic with a small set of merge operators. The theory of types is based on the extended list of basic types, which treats eventualities and points of time and space as basic types besides the two basic types e for entities and t for truth-values. These types extend the Neo-Davidsonian semantics to all types of objects including paths and vectors (trajectories) triggered by motions. The merge operators in ABS allow the compositional process of combining the semantic representation of base structures into that of the link structures that combine them without depending on complex lambda operations. ABS adopts shallow semantics to represent complex structures of eventuality or quantificaiton with simple logical predicates defined as part of admissible interpretation models.