sentence1: in this paper , we define normal dominance constraints , a natural fragment of dominance constraints whose restrictions should be unproblematic .
sentence2: here we identify the natural fragment of normal dominance constraints and show that its satisfiability problem is in deterministic polynomial time .