Property information
definition
p is immediately causally upstream of q iff p is causally upstream of q, and the end of p is coincident with the beginning of q.