tur ni'i lujvo

x₁ syntactically entails x₂; the latter has the former as one of its syntactic consequences.

In notes:

ctu'au: x₁ is involved in predicate x₂; the latter being true of some argument structure syntactically entails something about the former.