That's exactly right. Each intention can have multiple parents, which I believe makes the topology a DAG. The only constraints are that you must have exactly 1

That's exactly right. Each intention can have multiple parents, which I believe makes the topology a DAG. The only constraints are that you must have exactly 1 root node, each node must have at least 1 parent (apart from the root node), and that you can't have cycles.