Graph{DIGRa{DIGRp}}