x1=bP1=p1 is a subordinate clause relation / abstraction relation with predicate x2=bP2 and arguments x3=bP3, among the arguments x4=p2=bZ3 of relation x5=bZ1.
Used to talk about subordinate clauses or abstractions (whatever you call it). kratau: te bridi pagbu bridi.