The preposition at from a spatial language, cognition, and information systems perspective *

While both linguistic semantics and geographic information science have struggled to accurately and usefully deﬁne the meanings of natural language prepo-sitions, there has been less dialogue between these disciplines than one might expect. In this paper we set out to describe the meaning of the English preposition at using well-established formal models of qualitative spatial relations within geographic information science (GIScience), ultimately proposing an account for its meaning which is novel for both discipline areas, and we relate this description to previous deﬁnitions of at from within linguistic semantics. The investigation in this paper illustrates that at cannot be handled using the mathematical formalizations of crisp spatial relations in GIScience. However, the model proposed in this paper based on contrast sets, Voronoi Diagrams and Galton & Hood’s (2005) Anchoring theory, contributes to a better understanding of the meaning of at. The model also enables improved automatic interpretations of the preposition by partitioning space into contrast sets and representing at as indicating that a spatial entity is more closely related to a reference object than to any other in the set. We show how the model can be framed within a formal semantics account and how it can in principle be extended to account for spatial uses of other prepositions as well. The paper demonstrates potential areas of fruitful cross-fertilisation between GIScience and linguistic semantics.


Introduction
The linguistic semantics of prepositions has been the subject of much discussion but the definitions which have been proposed are not yet sufficient for practical needs, such as those of geographic information science (GIScience), which conceptualizes the usual specializations of at in GIScience by the set of two topological descriptors (coincidence, adjacency) and a binary distance descriptor (proximity), and the approaches to the description of its meaning current in cognitive and formal semantics.The paper then explores whether the meaning of at can be captured by a combination of a contrast set approach (S.Winter & Freksa 2012), the use of Voronoi Diagrams, and the theory of Anchoring (Galton & Hood 2005).We conclude that such an account does provide the tools to capture the lexical meaning of at.
In Section 2, we briefly survey relevant previous research on the semantics of at.In Section 3 we work through and evaluate a range of formal models for the spatial meaning of at from GIScience, concluding that a novel model is needed, based on the combination of contrast sets, Voronoi Diagrams and the notion of Anchoring; this is described in Section 4. In Section 5 we relate this account to existing theories within linguistic semantics, and in particular show that it can be incorporated into the kind of compositional model-theoretic formal semantics assumed by Zwarts & Y. Winter (2000).Finally, in Section 6 we look at some complex cases and the issue of over-generation of the account, identifying some questions for ongoing research and arguing that a formal account such as the one we propose requires supplementation with a neo-Gricean pragmatic approach.Although our primary focus is on at for the reasons given above, along the way we also illustrate how the proposed account can apply to and distinguish at from other English prepositions, in particular in, on and near.

Related work
The preposition at has a range of meanings or use types, including at least those listed in Table 1.
Like other prepositions, at is thus clearly polysemous; however, we focus on the spatial meanings here (cf.also Herskovits 1986 and others), aiming to give a general unified representation applicable to these uses.We make the assumption that the temporal and metaphorical extensions can be handled by a relatively straightforward mapping of the spatial meaning onto a different domain.The mapping can be done while maintaining the same general properties and with additional conventionalised elements of meaning resulting from contextually common inferences. 1   1 For example, temporal uses appear similar in structure to spatial uses if we assume an ontology of points in time and that intervals of time (e.g.. seasons) can be viewed punctually.Crucially, in See you at 4 o'clock it is understood that I am not behaving uncooperatively if I arrive at a few minutes before or after 4. To anticipate our account, the reference time belongs to a relevant contrast set where segments are measured probably in 5 minute units rather than more precisely, while in other contexts a more precise specification may be relevant.

early access
Vasardani, Stirling and Winter • Spatial locational a.I will meet you at Melbourne Central.
b. John is at the tram stop.
c.The butterflies live at the park. 2 d.Put the posters up at the Engineering buildings. 3  e.We arrive at Heathrow in 30 minutes.
• Functional f.Are you at your desk?g.My daughter was at the piano when the doorbell rang.
h. I'll be at work from 8 am.
• Temporal i. See you at 4 o'clock.
j.There aren't many birds at this season.
k.The exam begins at precisely 2.00 pm.
• Other metaphorical extensions / idioms l.At the height of his success, he was struck down with illness.
m.The children are at play.
n.The chickens have been at the corn again.
o.If you look carefully at the painting you can see a reflection in the mirror.
p.She yelled at me when I tried to get her to move.
q.He was really upset at the news of this company's closure.
r. John threw the ball at me.
s.We pushed at the door but it would not open.

Table 1
Major uses of at.
Lexical items, if meaningful, should carry some discriminatory power.That is, they should have information content in the sense of distinguishing between possible states of the world, and convey the chosen state to a recipient who does not know.This latter aspect of novelty or surprise for the recipient was behind the original definition of information content from information theory, which had a need to distinguish between information and noise in a signal (Shannon 1948, Shannon & Weaver 1949).
Closed class words, such as conjunctions and prepositions, have a different effect on human cognition than open class words such as nouns and verbs (Bloom & Keil 2001).Usually the meanings of prepositions do not overlap, thus there is little choice amongst lexical terms for describing the spatial layout of objects (Bryant 1997, Landau & Jackendoff 1993).Some prepositions, however, are less exact, and at is one of them.The precise spatial array referred to with a use of at is determinable based on the context of use rather than residing in the semantics of at itself (Bennett 1975, Herskovits 1985, 1986).The prevalent assumption in linguistics states that at may be used in place of more specific spatial expressions such as on, in, touching, and near (Cienki 1989, Cuyckens 1984, Herskovits 1986), suggesting a relationship of hyponymy -a hierarchical or inheritance relationship -between these more specific spatial relationships and at, rather than the relationship of mutual opposition assumed in the above characterisation of prepositional meaning.We have previously suggested that preferred meanings of one of these more specific prepositions are prevalent in place descriptions with at, depending on the type and spatial granularity of the referents (Vasardani et al. 2012).
Furthermore, it has been shown that there is a good deal of cross-linguistic variation in prepositional meaning (cf.for example Levinson 2003), and it is also worth noting that the preposition at is not universally matched with translation equivalents across languages.For example, Polish has multiple prepositions capturing aspects of the meaning of at (Knas 2006), and in German one would use in some cases an, in others zu or bei.Hence, Cuyckens (1984) calls at a typically English preposition.Other authors have pointed out similar differences between languages for other prepositions, supporting more general views that "there must be universal non-linguistic foundations for spatial language, and that there must be language-specific effects on spatial representations" (Munnich, Landau & Dosher 2001: 172-3).
Much previous work on the semantics of at has attempted to capture our intuitions about the meaning of at within a cognitive semantics framework.Like other accounts within linguistic semantics, this work assumes that in their core meaning prepositions code spatial relationships between two entities.We will refer to these early access Vasardani, Stirling and Winter here as the locatum (the located object, identified somewhere in the discourse external to the prepositional phrase), and a reference object, with respect to which a region is identified providing the location of the locatum (usually specified in the noun phrase complement of the preposition).In cognitive semantics, the locatum is called a 'trajector', and this trajector is located with respect to a 'landmark'.Other terms which have been used for this contrast are 'figure ' and 'ground'. Landau & Jackendoff (1993) discuss some differences between the concepts 'reference object', 'landmark', and 'ground'.
One key insight from the work in linguistics has been that the preposition at expresses a topological relation of co-location -coincidence or adjacency -between these two entities, with the location conceptualised as a point and without any specification of a direction of orientation of the locatum (Evans 2010, Herskovits 1985, Leech 1970, Tyler & Evans 2003).Evans (2010) specifies a co-location lexical concept licensing spatial uses of at and encoding the co-location parameter, which designates an abstract spatial relation between the trajector and a location defined in terms of contiguity or proximity (this alternative of coincidence or proximity dates back to at least Cuyckens 1984).The explicit acknowledgment of the irrelevance of the landmark's dimension or the perception of it as a point also dates back to early work (Leech 1970, Lindstromberg 1998, Quirk et al. 1985, Tyler & Evans 2003).
It is this zero-dimensional (point) status of the location which has been thought to underlie the observation that a spatial situation described by at can have a range of specific instantiations: if the park in the 'café at park' query example given above is treated by at as zero-dimensional, then the description simply says nothing further about where the locatum is with respect to this point, the key complication being that in 'real life' of course the park is not zero-dimensional and hence the true relationship between the locatum and the park must be more specific.Thus it is acknowledged that at "affords the most general expression of localisation in space in English" (Evans 2010: 243).On the same page Evans also notes that all the more precise expressions of spatial relationships encoded by English prepositions such as by, near, on, in, over, under "at times, can be encoded by at".The base generality of at is confirmed by its ability to non-redundantly co-occur with specifiers such as precisely or exactly.
In addition to work in cognitive semantics, formal semantic models of prepositional meaning have also been proposed, framed within compositional modeltheoretic approaches (Gärdenfors 2014, Zwarts & Y. Winter 2000).These approaches generally account for the spatial meanings of locational prepositions by treating the preposition as a function over the spatial realisation of the reference object (encoded in the preposition's noun phrase complement), which defines a region within which the locatum is to be found: the preposition then contributes information which allows us to determine how the region (the location of the locatum) is related to the location of the reference object.Within such approaches, a number of claims have been made about the semantics of at.For example, Zwarts & Y. Winter (2000) propose a model in which spatial meaning of prepositions is accounted for using vector spaces.They make several major claims about the meaning of at, such as that it belongs to a class of prepositions giving rise to regions outside the eigenplace4 of the reference object and, similarly to the observation about contiguity above, that at imposes the sole additional constraint that the length of the vector (distance between locatum and reference object) is "almost zero".However, their account says nothing further about the meaning of at and does not, for instance, distinguish it formally from on, so that for example the formal semantics of they are at the supermarket is not distinguished from that of they are on the supermarket (that is, physically on the roof of the supermarket) (for more information see Section 5).
A second feature of the meaning of at identified in the literature has been that at least a subset of uses of at imply a functional relationship which Evans (2010: 243) calls 'practical association' (see also Herskovits 1986): thus, if I am at my desk the implication is that I am working there; if I am at the bus stop that I am waiting for a bus, and if I am at work or school or university that I am there to fulfil the normal functions I would undertake in that place, or even that I work or study there, regardless of where I am actually physically located at the time of utterance (see Table 1f-h above).Thus for these uses the type of activity which would normally be undertaken at the locatum is highly relevant.While it is important to account for these interesting uses within a full description of prepositional meaning and usage, it is not clear to us that this should be incorporated within the lexical meaning of the preposition rather than as a generalized conversational implicature.Intention or function remains context delimited, it is just that some contexts are so common as to become typical (when at the piano I would normally be seated facing it in a position to play, but in context I might be understood to have a different orientation to it, for instance if I am about to make a toast or give a speech).Similar pragmatic implications can be found with at least some other prepositions: if I say I am in bed, you are likely to understand me to have retired for sleep for the night or to be unwell, depending on context; if I say I am in the car you will likely understand me to be driving from place to place, while if I am on stage I am likely to be performing in a production -however, all these implicatures can be cancelled.We therefore do not tackle these uses here.

early access
Vasardani, Stirling and Winter 3 Evaluating formal GIScience approaches to defining the meaning of at Over the past decades GIScience, in collaboration with artificial intelligence, has developed a rich body of knowledge about conceptual representations and reasoning with qualitative5 spatial relations (Cohn & Renz 2008, M. J. Egenhofer, A. U. Frank & Jackson 1989, A. U. Frank 1991, Freksa 1991, Kuipers 1994, 1977).The qualitative turn in the discipline was motivated by the recognition that qualitative reasoning is computationally faster, due to its higher level of abstraction, than quantitative evaluations, and in many tasks sufficient.But from the beginning, also, the adequacy of these models for cognition and language was considered (M.J.  Egenhofer 1994, D. Mark, Comas, et al. 1995, D. Mark, A. U. Frank, et al. 1989, D. M. Mark & A. U. Frank 1991).
In this section we work through key formal models from GIScience of the qualitative spatial relations of topology, distance, and direction, considering the meaning of at within each of these.Although there is a limited amount of work on at in GIScience, these form the current 'toolkit' available to GIScientists to formally define the meaning of at and other prepositions, and some proposals have been made for at within them (cf.Dube & M. J. Egenhofer 2012).

Topology
GIScience has developed two formal models of topological relations, the 9-intersection model based on point-set topology (M.J. Egenhofer, Sharma & D. M. Mark 1993, M. J. Egenhofer & Franzosa 1991), and the region connection calculus based on first order logic (Cui, Cohn & Randell 1993, Randell, Cui & Cohn 1992).Both models, despite their different foundations, result in definition of the same eight basic topological relations between two simple regions (abstractions of geographic features).Let us pick the 9-intersection model for illustration (Figure 1).In the 9-intersection model these eight relations are called 'disjoint', 'meet', 'overlap', 'equal', 'coveredBy' and its inverse 'covers', and 'containedBy' and its inverse 'contains'.They are characterized uniquely by the observation as to whether the intersection of the interiors, boundaries and exteriors of the two regions are non-empty or empty.For example, the relation 'overlap' is the only relation where the two Figure 1 The eight topological relations between simple regions in the 9intersection model, and their generalizations.
interiors intersect, the two boundaries intersect, and parts of each region's interior are outside of the other region.For geographic databases, storing these relationships in addition to the actual geometry of geographic features speeds up search.For example, finding all regions 'meeting' a given specified other region, or all regions 'overlapping' with a specified region, no longer requires costly geometric operations.In the context of the current paper these eight basic topological relations are relevant as possible tools that can be used in order to characterize the meaning of at.
When we evaluate the meanings of at with regard to these conceptual models, we find that the various uses of at can cover all eight possible topological relationships between two regions, or that at has no topological discriminatory power, in contrast to, for example, prepositions in, on, and near, each of which corresponding to a single or a small subset of possible topological relations.Dube & M. J. Egenhofer (2012) claim that at can be modelled as the union of 'equal', 'coveredBy' and 'containedBy', but do not discuss natural language examples.• If reference object and locatum are in contact at their boundaries, this contact can be external contact ('meet') or internal contact ('overlap', and potentially cases of 'coveredBy', 'covers', or 'equal').
-Two adjacent buildings that share a wall: The new maternity wing is at the east side of the hospital ('meet').
-A complex construction may contain sub-structures visible at street level: I mean the cafeteria at the ground floor of the hospital ('cov-eredBy').
-Two buildings extending over a common area: The car park is at the ground floor, leading to the mall from its north exit and to the train station from its south exit ('overlap').
-Finally, the sentence: A new hospital wing is being built at the parking lot ('equal') is also a valid use of at.
• Example sentences for 'coveredBy' and 'covers' relations, requiring a contact at the boundaries, seem to be indistinguishable from sentences that exemplify 'containedBy' and 'contains'.Hence, 'on' (surface) or 'in' (container) uses of at, relating indistinguishably to 'containedBy' and 'contains' as well as to 'coveredBy' and 'covers' relationships, occur in topological examples as well: -The new central station was built at the place of first settlement may be an example of 'contains' (or 'covers'), assuming the areal extent of the central station is significantly larger than the three huts forming the first settlement.
-I am at home, answering a phone call while sitting in the living room, is an example of 'containedBy' (less likely, 'coveredBy').
This observation is even more relevant as the eight topological categories formed by the 9-intersection model (and equivalently by the region connection calculus) have been shown to be the most promising starting point for further investigating how people conceptualize topological knowledge: although grounded in point-set topology (or first-order logic, respectively), their distinctions have been shown to reflect configural situations which humans would cluster together, or situations which language has names for (Knauff, Rauh & Renz 1997, Renz, Rauh & Knauff 2000).Both models, 9-intersection and region connection calculus, have been abstracted to five more general relations, but at this (medium) level of abstraction, 9-intersection and region connection calculus show differences in the way they group the relations.The medium-level 9-intersection model (Figure 1) emerges if boundaries of regions are considered to be parts of regions, therefore when the boundaries externally meet or intersect, they are grouped together under (medium-level) overlap.However, since at did not discriminate between the original eight relationships, it also does not discriminate between any of these five medium-level relationships, regardless of the model.
Figure 1 shows a further level of abstraction, grouping the five medium-level 9-intersection relations into two clusters only.One cluster aggregates all relations where portions of the boundaries of both regions are outside of the other region, while the other aggregates all relations where the boundary of one region is completely within the other region (remembering that the medium-resolution 9-intersection considers boundaries as part of regions).The same clustering works for the region connection calculus.
One can further argue that these two most general clusters, 'independent' and 'dependent', must represent the coarsest topological distinction, and therefore, a cognitively essential distinction.And yet, cases of applications of at still can be found at both sides of the divide.For example, a meeting at a café that is a separate building, but very close or even attached to the National Museum may be expressed as in Let's meet at the café at the National Museum; this represents the 'independent' case.Alternatively, if two friends want to look for gifts, they can meet at the Museum's gift-store -which is part of the museum, so that the relation between museum and gift-store falls under the second general cluster of the 'dependent' relation -as in There is a gift-store at the museum, let's go there.Hence, it appears that at has no topological discriminatory power, and is vague in terms of topological meaning, at least assuming it is desirable to practice parsimony with respect to multiple polysemous senses.This conclusion is in accordance with the prevalent assumption in the literature of the irrelevance of the dimension, or the zero-dimensionality, of the perception of the reference object in most spatial uses of at.We will refer again here to the let's meet at the park example.Since at has no topological discriminatory power, it really does not matter whether the sentence is interpreted as meeting inside the park, or just outside of it, and therefore, the park's conceptualization as either point or extended feature is unimportant.What really matters is the mutual knowledge between the conversation participants as to where to meet.In contrast, when in or on are used the higher-than-zero dimensionality of the landmark is important for a topological interpretation.In the same example, let's meet in the park, means that the park is conceptualized as a two-or even three-dimensional feature and the people will meet inside of it.

early access
Vasardani, Stirling and Winter

Distance
The most prevalent meaning of at is a distance-related one, and this is reflected in the core linguistic semantic definitions of co-location-contiguity / proximity, as well as the 'near zero length' vector in the formal semantic approach of Zwarts & Y. Winter (2000).However, at has not been discussed (perhaps has not been perceived) in the GIScience literature as a qualitative distance relationship (Hernández, Clementini & Di Felice 1995).The qualitative distance relationship closest to the meaning of at is 'nearness' (Brennan & Martin 2002, Worboys 2001).But even if nearness is seen as an abstraction from quantity of distance in such accounts, clearly we still need to distinguish the meaning of at from the meaning of near, because unlike at, near cannot represent the full range of topologically dependent relationships demonstrated above (it cannot include spatial arrays of meeting or containing), because the distance-related dimension of meaning encoded in near is greater than the 'near zero length' vector at is assigned in formal semantics.For example, it is valid to say the café is at/near the museum if the café is very close to the museum.However, if the museum includes a café, it is valid to say the café is at the museum, referring to the collocation of the café with the museum's grounds.But it is not valid in this case to say the café is near the museum.
We suggest here that the meaning of at can be more appropriately formalized by starting from the concept of a contrast set of locations (S.Winter & Freksa 2012).With such a set of contrasting locations in mind, the meaning of 'at a location A' is limited to locations which are closer to A than to B or to any other alternative location to A in the given contrast set -assuming that the contrast set forms part of the context of the conversation.Taking up an argument by Brennan & Martin (2002), at some level at therefore reflects not a binary absolute proximity relation (cf.'near A'), but a ternary comparative proximity relation: 'X is nearer to A than any other alternative(s) of the contrast set'. 6.Winter & Freksa (2012) argue that places -the elements in these contrast sets -are not characterized by boundaries.Places are rather characterized by prototypes or centres, or are even conceived of as dimensionless entities in information space.The spatial extent of a place is only a refinement, not the place's nature.In addition, the spatial extent is frequently vague or contested (Burrough & A. Frank 1996, Cresswell 2004).Thus, this approach of reducing places to points fits well to the observed lack of topological discrimination of at but also to dealing with proximity: distance between, or proximity to, dimensionless entities is cognitively and computationally more directly accessible than distance between a point and a spatially extended region (again, abstraction of a geographic feature or place), or between two spatially extended regions.Such distances would require first a commitment to the region's spatial extent, and then more complex calculations such as that of distance between a point x and an extended place A, as in this definition of Mador-Haim & Y. Winter (2015: 448), where y is a point in place A (Eq. 1): (1) d(x, A) = min({d(x, y) : y ∈ A}) or for two extended places the Hausdorff distance between extended place A and extended place B (Hausdorff 1914).The Hausdorff distance is the greatest of the distances from any point a in A to the closest point b in B (Eq. 2).The 'suprema' (sup) and 'infima' (inf) are used for calculating the longest distances (suprema) among the closest (infima) of the points between the two places: (2) The geometric interpretation of the comparative proximity relationship argued for by S. Winter & Freksa (2012) is given by a Voronoi Diagram (Voronoi 1908).A Voronoi Diagram partitions space between seeds such that each point in space closer to one seed than to any other belongs to the cell of that seed.Voronoi diagrams always produce convex cells, and thus this formal model is aligned with Gärdenfors' thesis that "prepositions represent convex sets of points or paths in a single domain" (Gärdenfors 2014: 205), except that it identifies this set of points as a Voronoi cell.It is also in some sense aligned with the 'near zero length' vectors of Zwarts & Y. Winter (2000: 176-7), but with the assumption that specifying the maximum length of these vectors as is done in the Voronoi cell model is essential for their interpretation.And the discussion so far contradicts the assumption of these authors that prepositions are either outward or inward oriented: at appears to be valid outwards (near) as well as inwards (in, on).This will be explained in more detail in Section 4. On this account the seeds of the Voronoi Diagram are the places A, B, and so on, of the current contrast set.For example, Figure 2 shows the Voronoi Diagram of a contrast set of inner city train stations in Melbourne, Australia.According to what has been said above about the distance meaning of at, in a communication context where this is the relevant contrast set -say, a person on a train calling home -the sentence: I am at Parliament Station is acceptable if used when the speaker is inside of the station as well as when they are on a train approaching this station or departing from this station as long as the train is nearer to Parliament than to the next (Melbourne Central) or previous station (Flinders Street).This example is purely locative, not directional.Cases of direction or orientation are discussed in Section 3.3.It should also be noted that this account aims to represent space partitioning at a cognitive rather than at a physical level.What this means is that at will not be equally used when referring to places closer to the borders of the Voronoi cells as when indicating places closer to the centre.One way to think of this is to see the influence regions surrounding the seeds of the cells as operating like gravitational fields, with forces stronger closer to the centre of the field and decreasing in intensity the farther away one moves from the centre.This in turn affects the likely use of the preposition at according to how close or far one perceives they are from one centre in the influence region.This implies that while we are using the geometry of the Voronoi diagram to delineate the influence regions of a contrast set, we are not claiming that the use of at can partition the physical space fully.Other prepositions such as between may apply better, if the location referred to is closer to the border of the Voronoi cells, and neo-Gricean principles of pragmatics will ensure that in such a context speakers will choose the more specific representation of the spatial relationship, if they are aware of it. 7rennan & Martin (2002) in their work on nearness, propose the use of Power Diagrams, or weighted Voronoi Diagrams.In Power Diagrams the seeds have various weights, for example, according to their prominence or relevance.However, for

early access
The preposition at contrast sets this suggestion seems to be inappropriate: a contrast set collects equals as alternatives, features of the same kind, of similar prominence, but most importantly of similar relevance in the given context.If the purpose of a sentence is to position a locatum, the reference object will be chosen from a set of similarly relevant alternatives.If the concert will be played at the city hall, this means just that it will not be played at the other possible well-known event locations in the city.This contrast set does not contain locations that are irrelevant in this context, such as, normally, my office, or Fiji.
Contrast sets are chosen pragmatically, and the semantics of the preposition merely tells us that such a set must be appealed to, not what the set is in a particular context.The set chosen reflects the most relevant set of geographic features or placenames among which the referent object can be situated.While this focus is concerned only with selecting features (encoded in noun phrases in language), there are consequences for the interpretation of at, including its validity in a particular communicative context.Imagine the following dialogue as an example (Table 2), where the context, and hence, the contrast set changes with nearly every line (here '<>' is used to denote 'not at', and the features listed in the right column represent the possible alternatives in the relevant contrast sets): Dialogue with changing context.
Clark & Wilkes-Gibbs (1986) have shown the collaborative effort that goes into such a conversation.The first expression may have been used to contrast with the other train stations in Melbourne, as in the example above.The second and third, however, zoom in to a finer level of granularity.They switch to a local contrast set of, say, central elements of the train stations such as their platforms and exits.For the interpretation of at in lines 1-3, it is essential to recognize that the spatial expression in 1 and those in 2-3 belong to different contrast sets.This is signalled in part by use of the definite article in 2 and 3, and in part by other processes of inference in the context of the question-answer sequence in progress.The preposition at in the first expression would be interpreted using the Voronoi cell of 'Melbourne Central' in Figure 2.For the communication partner this was not sufficiently detailed, so the clarifying question At the Elizabeth St exit?switches to the proximity relations of another contrast set represented in the Voronoi diagram of Figure 3. Expressions 2 and 3 do not construct a contrast between the exits and Melbourne Central, but only among the possible exits (and perhaps similar salient features) within the Melbourne Central train station.
The fourth expression, however, is different.It refers to a feature of similar spatial granularity and prominence as Melbourne Central -the State Library -which is at the Swanston St. exit of Melbourne Central: across the street, but actually closer now than the prototype concept of the train station, with its tracks and platforms.A person leaving Melbourne Central through the Swanston St exit, may, due to the relative low prominence of this exit in the local environment, refer to more prominent features in the environment, again switching contrast sets: away from exits, and picking instead local landmarks.Hence, the contrast is here made with Melbourne Central, but the context has switched from a train trip to everything in local walking distance.Accordingly, the contrast set has changed to Figure 4.
Thus, over these few lines the way in which each prepositional phrase is interpreted in order to establish a location has changed because the context, represented by the contrast set, has changed.The interpretation of at has not changed; in all cases the Voronoi Diagram has catered to a ternary comparative distance interpretation (exit closer to State Library than anywhere else in the contrast set).
Importantly, and similar to the models of topological relations discussed earlier, the lack of discriminatory power of at when it comes to distances relates to the fact that when the actual distance between the locatum and the reference object is important, other prepositions such as near, next to or close by are preferred.In case, however, the notion of general proximity to the specific landmark in implicit contrast to the other landmarks of similar salience is important, then at is the preferred preposition.

Orientation
When mapping linguistic spatial terms onto spatial relations, there exists a starting point with respect to which the rest of the object(s) are spatially defined.This point corresponds to the origin of a reference frame, at the intersection of three orthogonal axes (Carlson-Radvansky & Irwin 1994), whether the reference frame is absolute, intrinsic or relative (Levinson 1996).For example, in the sentence the gym is to the north of the student union, the student union forms the origin of the cardinal direction reference frame, to the north of which -along the axis that points North -is the gym.With respect to orientation, at does not relate to any frame of reference.Thus, at cannot differentiate within an absolute reference frame, say, of cardinal directions (A.U. Frank 1996), nor can it discriminate within an intrinsic (object-specific) or a relative (projected) reference frame, for example, left-right or front-back (Freksa 1992).However, at can also be used with respect to the qualitative relationship 'towards', linked to directed action.In a journey scenario, at can be used to identify waypoints along the route, or also the endpoint.For example, if a plane is arriving at Heathrow, a direction of movement (from an unspecified place) towards Heathrow Airport is expressed, reflecting the assignment of the semantic role of a goal, or endpoint along a path invoked by the motion verb arrive, to Heathrow. 8  8 While in such uses at can represent the destination location for a verb implying a trajectory along a bounded path, it is distinct from clearly directional prepositions such as to in that while to represents the path as well as highlighting its endpoint, at just represents the endpoint; at also co-occurs with a more limited range of motion verbs than to.For instance, at does not co-occur with verbs of locomotion with a directional sense -Mary walked at the library means only that she walked around early access

Vasardani, Stirling and Winter
Thus, while at does not discriminate between absolute, intrinsic or relative orientation, expressions containing at can refer to the orientation of the vector, as in 'arriving at'.Here the motion aspect comes from the verb, while at is used to draw attention to the end of the vector, the target place.Then consistency with the other kinds of relationships requires that source and target are 'disjoint' (as in Figure 1), and some notion of proximity must apply to allow the interaction, although a weak one.For the plane interacting with Heathrow it is likely that the plane is near Heathrow, but it is not essential that it is nearer to Heathrow than to another airport in the region (especially considering the high density of international airports around London in this example).Our intuitions are that the contrast set here is likely between source and goal, so, formally, if the plane is in the second half of its journey it is 'approaching Heathrow'.Similarly, on a train ride from Melbourne Central (start) to Flagstaff (goal) the train can be considered to be 'arriving at Flagstaff' after travelling at least half of the route between these two consecutive stations. 9On a car ride from Melbourne to Adelaide the car can be 'at the Grampians', even if it is not a stop, if it is in the Voronoi cell of the Grampians among a relevant contrast set (of well-known places between Melbourne and Adelaide) (see formalization in Section 4).The ternary proximity relation that was postulated above to express the essence of at is preserved.Hence, at combined with a directed action verb or noun is compliant with the previous interpretations.The ternary proximity relationship signalled by the preposition is simply applied to the terminal of the interaction vector.

Formalizing at with Anchoring relations
As mentioned earlier, the geometric partition of space suitable for the comparative proximity relationship assumed by at can be formed with a Voronoi Diagram, the seeds of which are the places that belong to the pragmatically determined contrast set.Each Voronoi cell includes all the points in space at which a locatum X can be placed in relation to a reference object Y , when interpreting the expression X is at Y , and in the influence region defined by the library, and *I am heading at the library is not acceptable.It is presumably this use of at that underlies the metaphorical extension in expressions of looking (look at) and communication (yell at) as well as the sense which contrasts throw at with throw to (see Table 1).See (Jackendoff 1983, Piñón 1993, Snider 2010, Zwarts 2005) for more discussion of paths, directional spatial prepositions and relevant senses.9 As pointed out by a reviewer and the editor, intuitively there are differences in interpretation between alternative expressions such as X is at Heathrow / arriving at Heathrow / approaching Heathrow / en route to Heathrow (and similarly for any other upcoming stop on a journey, such as Flagstaff station in the example given) -primarily in terms of the likely distance from the target at time of utterance.We make the same point here as in Section 3.2, about the greater likelihood of use of at closer to the seeds of the Voronoi cells.The difference between at Heathrow and arriving at Heathrow presumably reflects the meaning contributed by the use of the motion verb, which entails a trajectory ending in the goal.

early access
The preposition at forms the influence region of Y , against the rest of the reference objects in the same contrast set.The dimension of Y is not important -as far as its conceptualization is concerned, Y can be thought of either as a point or a 1-, 2-or 3-dimensional object that occupies an eigenplace (Wunderlich 1991), consistent with the actual location of X; X can in fact be located inside the reference object or within its influence region.
With such a space partition, the formalization of at as a comparative proximity relation can be suitably defined using the Anchoring theory developed by Galton & Hood (2005).The main premise of Anchoring is that an object in the information space of the unfolding discourse can be anchored to a location in precise (geometric, coordinate-based) space of the world referred to just by stating what is known with certainty in this information space and leaving the rest for further reasoning, thus allowing for the description of qualitative spatial relations which are less than completely explicit.An object A, of which the location is known only vaguely or with uncertainty, may be anchored to a location in precise space, a region R, by at least the following relations: Definition 1 The anchoring relations: • A is anchored in R -we know for sure that A is located within R • A is anchored over R -we know for sure that R falls within the location of A • A is anchored alongside R -we know for sure that A is located such that it abuts R (and in many cases, R will be a linear feature) • A is anchored outside R -we know for sure that A and R are disjoint.
These anchoring relations are not jointly exhaustive (but are pairwise disjoint), in contrast to the topological relationship models discussed in Section 3.1 above.10So while the anchoring relations are closely related to topology models, the precision of the anchoring relations is in the information space of the discourse model, not in the geometric space of precise locations in the world.Because of this quality, anchoring relations seem attractive for formalizing the comparative proximity meaning of at, which cannot adhere to strict geometric precisifications (Lindkvist 1950).We propose therefore that adding the formal model of Anchoring to our analysis of the meaning of at using a space partitioning with Voronoi cells and the concept of a contrast set will allow us to provide a complete account of the spatial senses for this preposition.
Figure 5 Interpretation of at as anchored in V Y , where V Y is the Voronoi cell or influence region of the reference object Y .Notice that the represented placement of the locatum is not intended to be exact, but indicates it is confined somewhere in V Y , nor do we specify the location of Y here.
Having observed this range of anchoring relations, we argue that at can be formalized with the relation anchoring in as follows: In this Definition 2, V Y is the Voronoi cell that corresponds to Y and is part of the Voronoi Diagram created over features of the contrast set Y belongs to -this contrast set being contextually determined.The influence regions -the Voronoi cells -will be possibly different each time at is used, depending on the contrast set of the reference object Y. Formalizing at as anchored in V Y captures the comparative proximity meaning of at through the specification that the locatum is located in the reference object's influence region (Figure 5).Note that this model preserves the comparative, ternary proximity feature described in Section 3. So, if X is anchored in Y , it means that Y is chosen because it is the closest reference object to X from among those in the contrast set.
A straightforward example demonstrating the use of at with an anchored in relationship would be an utterance such as The city hall is at the city centre: without being able to specify precise boundaries of the city centre, we state that the city hall is somewhere inside the centre's influence region, as this is defined by contrasting the city centre with other, similarly prominent parts of the city, such as its coastline area, or its suburban areas.This relation would be equivalent to the topological relation 'inside' in Figure 1 except that one cannot prove this without precise boundaries.Other examples of the use of at interpretable in this way are: I am waiting at the tram stop, I will meet you at the library, or the Classics Museum is at the northern end of the city.In all these examples, and in the others we have discussed so far, we see that if trying to place the locatum, it suffices to indicate the Voronoi cell around the reference object, from the Voronoi Diagram of the same contrast set.We can then be confident that the locatum is somewhere in that cell; otherwise the description would be made using another reference object.
The definition given above includes the possibility of the locatum being inside the reference object itself (the strict definition of anchored in), or of it covering an area including the interior of the reference object, as in a sloppy description such as The city centre is at the city hall: the city centre is in the influence region of the city hall, but of course includes this building within it.
The shape of the reference object may vary.In an example of a highway which runs alongside the boundaries of a national park (and this can be 'disjoint', 'meet' or even negligibly 'overlap' in any precise location of both features) such as in The Grampians are at the Glenelg Highway, the reference object is elongated in shape, and we might be tempted to suggest that the anchored-alongside relation is a better representation of the spatial relationship referred to here.However, this case too can be accounted for as an instance of anchoring in -it just so happens that the shape of the reference object (the highway) is long and thin, but it is still possible to conceive of the Grampians (locatum X) as being within the influence region of this reference object.
We would argue, however, that at is rarely or never used to anchor something strictly 'outside' of a reference feature (anchored outside), since there are more appropriate prepositional expressions, such as near, next to or close by, to indicate the strict disjointness of the locations.Anchored outside is explicitly excluded from Definition 2.
This approach combines a well-defined partition of space (Voronoi Diagrams) with a formal model of spatial relations that is actually not precise in geometric space.What is achieved are properly refined acceptable placements of a locatum when it is positioned 'at the reference object' -within the contextually defined Voronoi cell -while remaining true to the often non-exact nature of the spatial configuration described using the preposition at.Conveniently, even when the placement of the locatum is meant to be precise, as in The arrow hit the target at the centre, the inclusive nature of the Voronoi cell accommodates these cases equally well.
Formalizing at this way provides a means of locating features without the need to provide a more specific location.However, by limiting the possible locations to the influence region -here the Voronoi cell -we remain true to the way in which at is used in natural language place descriptions.
Thinking of at in terms of anchored in V Y has the benefit of overcoming the lack of discriminatory power in topology, orientation and distance illustrated previously.Anchored in, the use of contrast sets, and the Voronoi Diagrams built on them provide a means of formalizing with existing tools a spatial relation that has otherwise eluded early access Vasardani, Stirling and Winter the existing formalizations, even though it is the most commonly used when referring to a relative location.
Using Anchoring theory to formalize at also helps to clarify the subtle differences between this preposition and some of the other prepositions most closely related to it in meaning, namely in, on and near.For on, the concept of a supporting surface of the reference object is also important, and so while there are cases where on would also be interpreted with anchoring relations, the element of its meaning encoding the force dynamics of gravity (and extended senses based on this)11 deserves closer investigation, outside the scope of this work.Using the anchoring relations to define the spatial meaning of in and near however, one would have to consider the actual spatial dimensions of the reference object.Then, definitions for in and near could be given as in Definition 3 and Figure 6.Thus, in Figure 6b the Voronoi cell for interpreting near has a hole, if (or where) the reference object is considered spatially extended, thus capturing a major distinction between near and at, which is that near is not applicable when the location is known to be inside the reference object.It appears that near is more concerned with (outer) distance, while at is more concerned with contact or possible interaction.In contrast, in Figure 6a, the interpretation for in requires precisely that the locatum is situated in the reference object.
Definition 3 The spatial meaning of in and near: • X is in Y , if and only if X is anchored in E Y (Figure 6a); and 6b).where V Y is, as before, the Voronoi cell around Y (its influence region) and E Y is the reference object's eigenplace, or the region occupied by the reference object itself in the geometric space.
It becomes clear then, that using at to refer to a location in a context where the focus is on the fact that it is either clearly within or clearly outside and at some (small but definite) distance from the actual (physical boundaries) of the reference object would be misleading in the conversation context, as at is the only one of these prepositions that can actually cover in meaning the whole influence region, including the extent of the reference object itself.Thus for pragmatic reasons, it would be uncooperative to choose at when these more specific meanings are intended, and prepositions in or near would be chosen instead.
Although our observations here are based on linguistic interpretation and formal models, they are relevant to our understanding of cognitive mechanisms.It appears  that we could speculatively suggest that the preposition at has a strong spatial connotation (is deeply rooted in the spatial processes in the mind), but one cannot easily depict the relation it implies.While it has a capacity to anchor objects or events with respect to a general location, neither the spatial dimension of the reference object nor the actual spatial relation can be easily depicted graphically.Lindstromberg (1998) links this characteristic to the frequent necessity to mentally 'zoom out' when using at in its spatial sense, so that the relation between locatum and reference object is conceptualised in an abstract way that renders the spatial meaning of at barely discernable: it could be near the landmark but not touching it, near and touching it, or simply co-located with (exactly, partially or surrounded by) the landmark (Figure 7).Thus, image schemata (Johnson 1987) as they are taken to underlie, for example, the topological relations that represent the meaning of in (container schema) or on (surface schema), cannot be readily or nonabstractly used to represent the meaning of at.Hence, we argue that at conveys a spatial meaning, but not an easy to visualize image schema.In visual terms, at remains ambivalent.This is perhaps why it has been difficult to capture the meaning of at within cognitive semantics.A cognitive grounding for the preposition must point to linguistic-cognitive schematizations (Talmy 1983) that are not easily imaginable.

early access
Vasardani, Stirling and Winter

Comparing this account to Zwarts & Y. Winter 2000
This paper started out from the hypothesis that the meaning of at can be formally captured by tools of GIScience.It considered known formal frameworks for capturing the meaning of qualitative spatial relations: topological, orientation and distance models as they have been suggested for precise locations, and Anchoring as it has been suggested for locations that are not precisely known.In each of these categories we studied the discriminatory power of at to identify cases where at may have informational content.
We have demonstrated that the primary meaning of at is a comparative distance relationship, best captured by a novel formal model incorporating contrast sets, partitioning space using Voronoi cells, and the anchored in relation.In combination with directed activity predicates at is interpreted in the same way along a vector from source to goal.The comparative distance meaning is related to a contrast set of features relevant in a current communication context.As the focus moves, the relevant contrast set can switch.Having established that influence regions, rather than quantitative distances or qualitative nearness, best model the comparative proximity character of at, we introduced the notion of anchored in V Y .By focusing on reference objects that belong to the same contrast set, we argue that their influence regions can then be represented by Voronoi Diagrams that are constructed from the locations of the objects belonging to the same contrast set.We therefore argue that pairing contrast sets and anchoring seems to be the most effective way of formalizing the meaning of at using current tools available from GIScience as it allows for the locatum's location to remain underspecified, while at the same time enabling reasoning with existing tools.
We have therefore proposed a formal model within the terms of GIScience underpinning the semantics of at.The model allows us to capture the intuitions that have led to previous linguistic semantic accounts describing the spatial meaning of at as specifying a relation of contiguity or proximity between a locatum and a location conceived of as a point.We have confirmed that it is with respect to distance rather than topology that at has discriminatory power.The intuition of a point-like location remains in our use of a Voronoi Diagram of seeds to model the notion of a prototype or centre characterising a place with a region of influence determined by a contextually-specified contrast set.Our more detailed representation of an anchoring relationship between the locatum and location, defined over Voronoi cells, allows us to capture the constraints on at such that it is not used for relationships of strict outside-ness, but is sufficiently underspecified to account for the wide range of actual spatial configurations which can be described using this preposition.
The formal mechanisms we have been discussing concern the proper ontological structure needed to define the meaning of the preposition at and, we suggest, poten-tially of other spatial prepositions also (we sketched the basis for an account for near and in in Section 4; see also below).We have indicated that there is evidence from the GIScience literature that these models are on the right track in terms of their correspondence with people's cognitive representations of the qualitative spatial relations relevant to these prepositions.
Such an account could be embedded as a formal lexical semantics for the preposition at within a model-theoretic semantics for natural language, such as, for example, that assumed by Zwarts & Y. Winter (2000).Instead of the sets of vectors and vector spaces they propose, we argue for the addition to the ontology of a domain of Voronoi spaces (as well as assuming a domain of points as they do) and operations of anchoring which apply to these.The preposition at can then be taken to denote a function that applies to the reference object's eigenplace and returns its Voronoi cell.In addition we need to assume that a contrast set for the Voronoi cell is determined pragmatically within the context of the discourse in which the preposition occurs.
More formally, Zwarts & Y. Winter (2000) provide the definition below for the prepositions on, at and near.In their analysis, these prepositions give rise to locations strictly outside the reference object's eigenplace; hence, if v is a vector used to present the relation between locatum and reference object, the eigenplace of which is A, they use a relation ext(v, A) in their definitions of the relations to imply that the locatum remains external to A. The only other restriction on the meaning of the prepositions is a specification of a condition on the length of the vector v which describes the distance between the reference object and the locatum.In their model, prepositions on and at are given the same definition -are indistinguishable -as they note "We interpret on and at as requiring almost zero distance between the objects.[. . . ] The differences between on and at [. . .] and many other interesting meaning aspects are again ignored" (p.180).
Definition 4 The prepositions on, at and near according to Zwarts & Y. Winter (2000): • on, at: on' = at' where r 0 and r 1 are two small positive numbers r 0 ≈ 0 and r 0 r 1 .
We now sketch a method for formalizing at within compositional semantics using Anchoring theory.This serves as a starting point and allows us to make comparisons with Zwarts & Y. Winter's (2000) formalization, such as enabling a differentiation between at and on.
early access Vasardani, Stirling and Winter Let S c = {1 . . .n} be the given contrast set with n elements.Then V i , with i ∈ S c is the Voronoi cell that corresponds to seed i, and n i V i is the Voronoi Diagram of S c .Then the V i are the partitions of precise (or coordinized) geographic space.Since we are using Anchoring Theory to formalize at, what we know about objects that are located (locata) is information about their relative locations and spatial relations with other objects (relata), rather than their exact locations.In fact, when using at with anchoring relations, instead of defining a location, we are actually defining a set of locations.For any object x then, loc(x) denotes the set of all possible locations where x can be found.
In anchoring theory, any relation is formalized as an ordered pair (t, R), where t is any of the anchoring relations defined in Definition 1 and here abbreviated to just the differing name part, respectively, so t ∈ {in, over, alongside, outside} and R is a region in precise geographic space.Then, for the purpose of formalizing at, t = in and R = V Y such that: where V Y is the Voronoi cell with seed Y , and Y is an element of the given contrast set S c .In case a quantifier such as exactly is used in conjunction with at, then R is the eigenplace of Y , E Y , such that: Furthermore, in line with the account sketched in Section 4, we can define in and near as follows: Returning the focus to at, we can start introducing some rules to our theory, such as: Rule 1 If x at Y , and x at Z, then V Y and V Z have all or some parts in common, which means that Y and Z belong to different contrast sets -since the Voronoi cells of the same partition are pairwise disjoint: Rule 2 If x at Y , and Y is part of Z, then x is at Z as well: It is clear then that our formalization differentiates between at, on and near in a way that the formalization presented by Zwarts & Y. Winter (2000) does not.Their theory's dependence on vector lengths imposes limitations on how defining at can differ from defining on, while introducing the ext() relation and the fact that they require the vector for these two prepositions to be almost, but not quite zero, implies that the exact co-location with the reference object's eigenplace is excluded from at's or on's definitions.However, at can be used for objects co-located with the reference object as well as close to the reference object, in other words, the entire set of locations covered by the influence region or Voronoi cell of the reference object.The formal models presented here are intended to represent the core lexical semantic meaning for at and we assume that they will be augmented with a Neo-Gricean pragmatic account which will help specify the way in which speakers make choices between at and more informationally specific prepositions in particular contexts of use.The models applied here in the investigation of the semantics of at may have value for the formal interpretation of other locative prepositions as well.It remains for future work to explore the broader applicability and generalizations of the presented formal model in more detail.

Specific cases and over-generation
We have proposed an account that captures the broad and vague uses of the preposition at; however, as we have acknowledged, at is not always a possible, let alone appropriate, choice for specifying the location of a given locatum.In this section we provide a detailed consideration of some types of situation where this is the case.
We have previously noted that at can be used in place of more specific prepositions, such as in or on.However, there are cases where at is not used in place of these prepositions.For example, at is a dispreferred alternative to in in certain cases where the location of the locatum is completely inside the two-or three-dimensional surface enclosed within the reference object's physical boundaries (or its eigenplace in Gärdenfors's words).Take for instance the following sentences: I left my books at early access Vasardani, Stirling and Winter your house versus I left my books in your study, where the converse possibilities are less acceptable: ?I left my books in your house; ?I left my books at your study.
The first example, assuming the books are within the eigenplace identified with the house, is predicted by our account which allows for at to be used if the locatum is in the relation of anchored in the region E Y -the eigenplace of Y , where Y is the house.The use of in is also predicted here by the formal definition given in our model.The interesting question is then why the preference for this particular sentence is for at to be used over in.Arguably, in is not ruled out here in terms of overall acceptability -clearly we can say something like My books are somewhere in your house.The issue is one of construal of the situation and whether the nature of the locational relation between the locatum and a reference object conceived of as a 3-dimensional entity is relevant in context -is it important where exactly the books are inside the house?
In the second example, it is clearly easier to construe the study as a 3-dimensional spatial entity within which it is relevant to consider the precise location of the books.Intuitively it appears that use of at in such a context will be possible only if your study refers to a maximal space associated with you, for instance, if you have a study within a University college, where the study can be viewed as a self-contained landmark, the dimensionality of which is not relevant.
Similar observations can be made for examples with the preposition on.Where it is known and relevant that the locatum is physically supported by the reference object, there will be a preference for on over at.Take for example the following sentences: Sam is at his desk versus Sam was on his desk when I found him.While the first case refers to the functional coincidence of the locatum with the reference object, the second case indicates that physically the locatum was supported by the reference object, therefore, the spatial preposition on is used.Similarly, Sam is at the sofa highlights a construal of the sofa as a mere landmark with reference to which Sam can be placed while, in comparison, Sam is on the sofa portrays a more complex and more precisely specified locational relationship for which a topological representation can be defined.
Both cases relate to the general consensus about the core spatial meaning of at, that it indicates a proximity or co-location of two entities that are imagined as points (rather than 2-or 3-dimensional entities), or where the dimensionality is simply not an issue, and where the precise nature of the spatial relationship between the locatum and the reference object is not known or not relevant.We have modelled this property of at in comparison to the other prepositions considered, by arguing that unlike these prepositions, at places entities at a non-topologically-defined location, and have argued that this is why it is difficult to assign at to only one of the distinct formal topological relations as defined in GIScience (similarly, for direction or distance relations).The location is defined in terms of Voronoi cells, the extent of which is determined in a relative manner by their relationship with other cells of members of a relevant contrast set.Since space then is not topologically defined, we should not be surprised that the actual dimensionality of the locatum and of the reference object is not relevant.Where the dimensionality is relevant, by neo-Gricean principles such as the Q(uantity)-and I(nformativeness)-principles (in effect, say neither more nor less than is required), the speaker is obligated to use an informationally richer preposition for which the semantics makes reference to the topological (or even more generally, geometrical) properties of the related entities (Huang 2015, Levinson 2000).To sketch the basis of such an account without fully developing it, we can suggest that at is undetermined for topological information, and that at and the topologically more precise prepositions on and in participate in a locational Horn-scale or Qscale <{in, on}, at> such that use of the less specific preposition implicates that the precise topological relationship is either unknown or inapplicable, or perhaps, that the speaker's primary intention is to characterise the location of some entity via implicit contrast to some other location(s).A similar argument can be made for a choice of near over at as distance relation; the former will be used when it is necessary to indicate that the locatum is not co-located with the reference object, but rather at a small distance from it.
While we suggest that the model presented here allows the interpretation of any given (valid) spatial use of at, it possibly overgenerates the production of sentences using at.For example, the case of I am at 15 Elm Street is a valid use (and to be interpreted with respect to a contextually determined contrast set, for instance of other relevant addresses).However, native speaker intuitions suggest that I am at Australia is not generally considered a valid use, but it will still be accepted by our model, assuming the pragmatic mechanism for generating a relevant contrast set can provide one (e.g., a set of other relevant countries).Our account does, however, correctly imply that if such a usage could be contextualised, it would be in a context where we can 'zoom out' to view Australia as one point in a contrast set of comparable points, for instance as one of a sequence of destinations on a route.A representation of Australia on a board game would be an appropriate context, or perhaps an utterance by recently returned astronaut Scott Kelly made while orbiting the Earth.The appropriate modelling of these restrictions will be a matter for pragmatics. 12early access Vasardani, Stirling and Winter

Conclusions
At has generally been considered to express a spatial locational relation of such generality that it is sometimes thought of as simply the location relation, akin to the implicit relation of location found in a locative expression without an associated preposition (Where are you?-Myers13 ).This relation has been classified within both linguistic semantics and GIScience as topological and as involving essential components of coincidence or co-location and zero-dimensionality of the co-located entities, among a number of other constraints that various authors have proposed.
Yet it is well understood that, strictly interpreted, coincidence is both too restrictive and too underspecified to account for many uses of at.Herskovits (1986), for instance, accounts for very frequently occurring, 'almost true' uses such as Mary is at the gate (see also Table 1b) by combining an 'ideal' abstract geometric meaning with processes allowing for 'relational tolerance' or permitted deviations from this -to give rise to a more comprehensive informal gloss for at to the effect that the locatum is specified to be 'very close to but with a certain tolerance' or 'in the closest possible relationship with' the reference object (cf. the 'almost zero' vector in the account of Zwarts & Y. Winter (2000)).The model proposed here provides a formal mechanism for capturing the intuitions expressed in these attempts to account for the degree of tolerance allowed in the locational relationship between the locatum and the reference object by at.
Thus, what we have suggested here is that the formal models in use in GIScience offer tools which allow us to more accurately model the range of uses of this preposition (and possibly others), removing the need to capture a vast class of uses as departures from the norm, or to rely on vague notions such as an 'almost zero' distance.
At the same time, a detailed consideration of the range of uses available for at from a more linguistic perspective has allowed us to improve upon previous GIScience accounts.Contrary to prior assumptions, we have systematically detailed how at lacks topological discrimination.Our account embraces aspects of the inherent vagueness of the meaning of at -the underspecified nature of the real world configuration between locatum and reference object, and the range of possible 'distances' allowable between these two entities.Our assumption is that the contrast sets assumed to be a critical aspect of the account (and the relative size and granularity of the choices in the contrast sets) are contextually determined and a matter of perspective or framing.Also, pragmatically, at is used when the focus of attention is not on encoding more specific spatial relations between locatum and reference object but rather on the specification of the reference object as a relevant location per se (from among a set of possibly relevant locations).It is for this reason that at appears to offer degrees of 'tolerance' greater than, for example, the preposition in, which highlights the nature of the relation.We have also sketched how relevant meanings of these alternative prepositions can be represented in our model.
We have thus provided a formal account for what it means to be 'contiguous or proximal' with a reference object, which underpins the pragmatic factors determining the exact nature of the distance relationship between locatum and reference object, and which moves ahead our understanding of the meaning of at and of spatial prepositions more generally, leaving some additional nuances to be considered in further work.
This contribution clarifies the meaning of at.It links at to formal models of qualitative spatial relations, highlighting its particularities, and in this way enabling improved automatic interpretations of this preposition.

Figure 2
Figure 2 The Voronoi Diagram of the set of Melbourne's inner city train stations.

A
I am now at Melbourne Central.(<> Parliament, Flagstaff) B At the Elizabeth St exit?(<> Swanston St exit, platform) A No, at the Swanston St exit (<> Elizabeth St exit, platform) B Ah, I see: You are at the State Library.(<> mall, Lonsdale Street) Table 2

Figure 3
Figure 3 Switch from the original contrast set seed, the Melbourne Central train station, to its possible exits.

Figure 4
Figure 4 Switching to local landmarks, and now the exit is in proximity to the State Library.

Figure 6
Figure 6 Interpretation of prepositions (a) in, and (b) near using the anchored in relation.

Figure 7
Figure 7 Distinct topological relations disjoint (a), meet (b) and containedBy (c), but examples can be given where each image is a valid representation of at.
This is clearly indicated by the definition provided using the anchoring in relation in combination with the Voronoi cells.It is in contrast then to Zwarts & Y. Winter's account, in that it does not require that at be outward oriented (see Definition 4): at appears to be valid both outwards (near) and inwards (in, on).On the other hand, the preposition on implies a supporting surface, something that is not specified in Zwarts & Y. Winter's theory, which as we have seen provides the same definition for both at and on.While we have not formally defined on, it is clear in our definition that at can potentially position the locatum in the V Y − E Y area, for which on cannot be used.Finally, on our definition of near, the locatum can be somewhere in the V Y − E Y area, but not in E Y .This definition is cleaner, not requiring pre-knowledge of the relation between the lengths of different vectors for differentiating between near and at.