simtu'i lujvo

x1 (set) agree with each other that x2 (proposition) is true about matter x3

See also djuno

In notes:

selsimtu'i
x1 is an agreement/contract/treaty between x2 (set) about matter x3