Find!
x1 compares x2 (set/plurality) in property x3 (ka), determining x4 (du'u/state)
simxu + karbi. karbi2 and karbi3 are combined into simkarbi2.