  Let $K$ be a non-trivial knot in $S^3$ with the exterior $E(K)$. For a slope
$r \in \mathbb{Q}$, let $K(r)$ be the result of $r$-Dehn filling of $E(K)$. To
each element $g$ of the knot group $G(K)$ assign $\mathcal{S}_K(g)$ as the set
of slopes $r$ such that $g$ becomes the trivial element in $\pi_1(K(r))$. For
any hyperbolic knot, $\mathcal{S}_K(g)$ is known to be a finite set for all
non-trivial elements $g \in G(K)$. The Property P conjecture, settled by
Kronheimer and Mrowka, asserts that every non-trivial knot satisfies Property
P: for any $r \in \mathbb{Q}$, there exists a non-trivial element $g \in G(K)$
such that $\mathcal{S}_K(g) \not\ni r$. The purpose of this article is to prove
somewhat surprising flexibilities -- Separation Property and Realization
Property -- of the set $\mathcal{S}_K(g)$, which are refinements of Property P
in the context of Dehn filling trivialization.
  We prove Separation Theorem that can be seen as a Dehn filling analogue of
various separability properties of 3-manifold groups: for every non-torus knot
$K$ and any disjoint finite sets $\mathcal{R}$ and $\mathcal{S}$ of slopes,
there exists an element $g$ of $G(K)$ such that $\mathcal{S}_K(g)$ contains
$\mathcal{R}$, but does not contain any slope in $\mathcal{S}$ whenever
$\mathcal{S}$ contains no Seifert surgery slopes. We develop this to establish
Realization Theorem asserting that for any hyperbolic knot $K$ without
exceptional surgery slope, every finite set of slopes can be realized as the
set $\mathcal{S}_K(g)$ for infinitely many, mutually non-conjugate elements $g
\in G(K)$. This result can be generalized to more general setting, but we
provide some examples showing that Separation Theorem and Realization Theorem
do not hold unconditionally.
