Find!
p1 is a waiting queue ordered by rules p2 on unordered set p3 waiting for x4=d2.
Cf. depkumfa, depstu.