Find!
p3 (NU) is a privilage entitled to p2 guaranteed by p1 under conditions p4.
Cf. krali, velbinra.