Copy
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
has_start_location
