Find!
p3 (event/state) is a privilege entitled to p2 guaranteed by p1 under conditions p4.
Cf. krali, velbinra.