 Assuming that we now grasp the intended relations, we are in a position to consider proposals about how the associated predicates might be defined. Suppose that we take ‘x is exactly located at y’ as primitive and symbolize it as ‘L(x, y)’ (Casati and Varzi 1999). Then, as Parsons (2007: 204) notes, the following definition of ‘is weakly located at’ (‘WKL’) is natural: