  We prove a quantitative variant of a disjointness theorem of nilflows from
horospherical flows following a technique of Venkatesh, combined with the
structural theorems for nilflows by Green, Tao and Ziegler.
