Aspect in Ancient Greek - Nijmegen Centre for Semantics

A.5 Semantics 183type name of objects variables constantse entity x 1 , x 2 , –...b eventualities b 1 , b 2 , –...a times a 1 , a 2 –〈a,t〉 sets of times a 1 , a 2 , a TT , a n...r register v 1 , v 2 , u 1 , u 2 , ......r bregister over type b objectcourse– unspecific dis-referents:r 〈a,t〉register over type 〈a,t〉objectse 1 , e 2 , ...– unspecific discoursereferents:t 1 , t 2 , ...specificdiscourse referents:t TT , n,...s state i, j, –...〈b,t〉 static one-place predicate– x cry, p king ...over eventualities〈〈a,t〉, 〈〈a,t〉,t〉〉 static two-place predicate– ⊂, ≺ ...over times〈b, 〈b,t〉〉 static two-place predicate– ⊏, ...over eventualities〈b, 〈a,t〉〉 static two-place predicateover one eventualityand one time– τ, ...〈r b , 〈s, 〈s,t〉〉〉 dynamic one-placepredicate over eventualitiesP, P ′ ,...〈r 〈a,t〉 , 〈s, 〈s,t〉〉〉 dynamic one-place Q, Q ′ , –predicate over times ...〈r, 〈s,e〉〉 – wTable A.1: Variables and constants of various types–f[ξ/d] is the assignment function that assigns d to ξ and assigns the samevalues as f to all the other variables.