Disjoint with

Resources that are of type are known not to be of type: