x1 is an event/state described by bridi x2
Predicate version of nu, which is a kind of relation between a bridi and an event/state. However with a regular predicate version it is possible to access the x2 just like any regular sumti place. See also nu, du'u.