  Following the idea that nothing can be said about the present King of France, we break condition \eqref{cond1} from Section 3.4 into two parts. Given a partial FOIL model  \(\cM\)  and a valuation \(v\) in it: