Consistency results on properties of Pro(Ab) $\to$ Cond(Ab)