Find!
k2 is a universal quantifier quantifying quantity m1=k1, which is complete/whole by standard m2 on scale k3 (si'o).