LogicalDag model