Property information
x 'has starts location' y if and only if there exists some process z such that x 'starts with' z and z 'occurs in' y
x 'has starts location' y if and only if there exists some process z such that x 'starts with' z and z 'occurs in' y