occurs in starts with starts with has start location 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 part that occurs in independent continuant process