tolselmansa lujvo

m2 is dissatisfied by m1 with regard to property (ka)/state m3.

Cf. mansa, selmansa, tolgei.