Reasoning about Uncertain Domains