x1 is involved in predicate x2; the latter being true of some argument structure syntactically entails something about the former.
lo ka ce'u ce'u ctu'au cu ka su'o da su'o de zo'u lo du'u ce'u me'au da cu se turni'i lo du'u ce'u zilbri de; Possible formalization of the cmavo tu'a.