Causal Link

An edge in a DAG for a Partially Ordered Plan is called causal link when it is labeled with a $p$ such that the $p$ is an Effect of the Action and a Precondition for the next action.
We thus write