Kiyong Lee author 2020-may text English eng European Language Resources Association Marseille conference publication 979-10-95546-48-1 This paper proposes a semantics ABS for the model-theoretic interpretation of annotation structures. It provides a language ABSr, that represents semantic forms in a (possibly łambda-free) type-theoretic first-order logic. For semantic compositionality, the representation language introduces two operators øplus and øslash with subtypes for the conjunctive or distributive composition of semantic forms. ABS also introduces a small set of logical predicates to represent semantic forms in a simplified format. The use of ABSr is illustrated with some annotation structures that conform to ISO 24617 standards on semantic annotation such as ISO-TimeML and ISO-Space. lee-2020-annotation https://www.aclweb.org/anthology/2020.isa-1.5 2020-may 36 48