cnei'i fu'ivla

having property x1 semantically entails having property x2.