moved Intersection (of classes and properties) to DAGImpl