  The primary goal of this paper is to establish a model of $ZFC$ wherein the
definable tree property is affirmed for all uncountable regular cardinals. This
endeavor commences with the utilization of both a supercompact cardinal and a
measurable cardinal that exceeds it. Subsequently, we construct a $ZFC$ model.
Within this model, we demonstrate that the definable tree property holds for
all uncountable regular cardinals. Thereby we respond to an inquiry raised in
[1].
