cmasai lujvo

s1 is a snack composed of s2=c1, small in property c2 by standard c3