属性信息
definition
p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain