Exercise 12.19 [fixed-definition-exercise]

Define the predicate ${Fixed}$, where ${Fixed}({Location}(x))$ means that the location of object $x$ is fixed over time.