vel binra lujvo

x₄=b₁ insures/indemnifies x₂=b₂ against peril x₃=b₃ providing benefit x₁=b₄.

In notes:

terpikta: p₃ (event/state) is a privilege entitled to p₂ guaranteed by p₁ under conditions p₄.