smuni'i lujvo

x1 semantically entails x2; the latter has the former as one of its semantic consequences.